✦ LIBER ✦

A logic programming language based on the Andorra model

✍ Scribed by Seif Haridi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fuzzy Logic Programming for Implementing

✍ Jesús M. Almendros-Jiménez; Alejandro Luna; Ginés Moreno 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 465 KB

The Semantics of Predicate Logic as a Pr

✍ Van Emden, M. H.; Kowalski, R. A. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 638 KB

The implementation of a distribution mod

✍ Antonio Brogi; Anna Ciampolini; Evelina Lamma; Paolo Mello 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 704 KB

A taxonomy for simulation modeling based

✍ Paul A. Fishwick 📂 Article 📅 1998 🏛 Taylor and Francis Group 🌐 English ⚖ 177 KB

ConGolog, a concurrent programming langu

✍ Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 739 KB

The logical meaning of programs of a sub

✍ Wolfgang Coy 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 1017 KB