Creator | Title | Description | Subject | Date | ||
---|---|---|---|---|---|---|
1 |
![]() | Freire, Juliana | Taking I/O seriously: resolution reconsidered for disk | Modern compilation techniques can give Prolog programs, in the best cases, a speed comparable to C. However, Prolog has proven to be unacceptable for data-oriented queries for two major reasons: its poor termination and complexity properties for Datalog, and its tuple-at-a-time strategy. A number of... | Tabling; SLG-WAM; Prolog; XSB; Datalog | 1997 |