Making ProB Compatible with SWI-Prolog (Q5038477): Difference between revisions

@@ Property / cites work @@
+SICStus Prolog—The first 25 years
@@ Property / cites work: SICStus Prolog—The first 25 years / rank @@
+Normal rank
@@ Property / cites work @@
+The YAP Prolog system
@@ Property / cites work: The YAP Prolog system / rank @@
+Normal rank
@@ Property / cites work @@
+Modules for Prolog Revisited
@@ Property / cites work: Modules for Prolog Revisited / rank @@
+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 @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank