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

@@ 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