✦ LIBER ✦

Improving Prolog programs: Refactoring for Prolog

✍ Scribed by SEREBRENIK, ALEXANDER; SCHRIJVERS, TOM; DEMOEN, BART

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compressing probabilistic Prolog program

✍ L. De Raedt; K. Kersting; A. Kimmig; K. Revoredo; H. Toivonen 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 678 KB

Efficient prolog programming

✍ Timo Knuutila 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 564 KB

Compositional operational semantics for

✍ M. H. M. Cheng; R. N. Horspool; M. R. Levy; M. H. van Emden 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 635 KB

Equivalence of propositional Prolog prog

✍ Hans Kleine Büning; Ulrich Löwen; Stefan Schmitgen 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 828 KB

Applying Prolog programming techniques

✍ A. Bowles; D. Robertson; W. Vasconcelos; M. Vargas-Vera; D. Bental 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 704 KB

From Prolog III to Prolog IV: The Logic

✍ Guy A. Narboni 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 351 KB