✦ LIBER ✦

Relating logic programs via program maps

✍ Scribed by Marc Kirschenbaum; Leon Sterling; Ashish Jain

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Totally correct logic program transforma

✍ Alberto Pettorossi; Maurizio Proietti 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 778 KB

Totally correct logic program transforma

✍ Alberto Pettorossi; Maurizio Proietti 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 182 KB

Logic programming and Σ-programming

✍ A. A. Voronkov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 780 KB

Incorporating equality into logic progra

✍ P.T. Cox; T. Pietrzykowski 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 867 KB

Equivalent logic programs

✍ Chan Kwok Hung 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 823 KB

Database logic programming

✍ MosheY. Vardi 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 108 KB