Top-down and Bottom-up Evaluation Procedurally Integrated (Q4559824): Difference between revisions

@@ Property / describes a project that uses @@
+B-Prolog
@@ Property / describes a project that uses: B-Prolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XSB
@@ Property / describes a project that uses: XSB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08443
@@ Property / arXiv ID: 1804.08443 / rank @@
+Normal rank
@@ Property / cites work @@
+The deductive database system [Lscr    ][Dscr    ][Lscr    ]++
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and logic programming. 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11--13, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient access mechanisms for tabled logic programs
+Normal rank
@@ Property / cites work @@
+The YAP Prolog system
@@ Property / cites work: The YAP Prolog system / rank @@
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+The language features and architecture of B-Prolog
+Normal rank
@@ Property / OpenAlex ID @@
+W2962810847
@@ Property / OpenAlex ID: W2962810847 / rank @@
+Normal rank