PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION (Q5249252): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and denotational semantics of prolog
@@ Property / cites work: Operational and denotational semantics of prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Simple operational and denotational semantics for Prolog with cut
+Normal rank
@@ Property / cites work @@
+The promotion and accumulation strategies in transformational programming
+Normal rank
@@ Property / cites work @@
+A mathematical definition of full Prolog
@@ Property / cites work: A mathematical definition of full Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause programs with polymorphic types: Semantics and resolution
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Monadic parsing in Haskell
@@ Property / cites work: Monadic parsing in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+A system of constructor classes: overloading and implicit higher-order polymorphism
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5249252