✦ LIBER ✦

Failure and Equality in Functional Logic Programming

✍ Scribed by F.J. López-Fraguas; J. Sánchez-Hernández

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Negation-as-failure rule for general log

✍ Van Tu Le 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 502 KB

Efficient Interval Linear Equality Solvi

✍ Chong-Kan Chiu; Jimmy Ho-Man Lee 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 229 KB

Equivalent logic programs and symmetric

✍ Kwok Hung Chan 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 790 KB

Using functional and logic programming i

✍ Marcel Turcotte; François Major; Guy Lapalme; Daniel Gautheret; Robert Cedergren 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 134 KB

Equality, types, modules, and (why not?)

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 38 KB

Clausal Logic and Logic Programming in A

✍ William C Rounds; Guo-Qiang Zhang 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 114 KB