Tabling, Rational Terms, and Coinduction Finally Together! (Q2931251): Difference between revisions

@@ Property / describes a project that uses @@
+XSB
@@ Property / describes a project that uses: XSB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YAP-Prolog
@@ Property / describes a project that uses: YAP-Prolog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2794
@@ Property / arXiv ID: 1405.2794 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of infinite tree logic programming
@@ Property / cites work: Semantics of infinite tree logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+Parser generation and grammar manipulation using prolog's infinite trees
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+Tabled evaluation with delaying for general logic programs
+Normal rank
@@ Property / cites work @@
+The YAP Prolog system
@@ Property / cites work: The YAP Prolog system / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient access mechanisms for tabled logic programs
+Normal rank
@@ Property / OpenAlex ID @@
+W3100924394
@@ Property / OpenAlex ID: W3100924394 / rank @@
+Normal rank