✦ LIBER ✦

A clause indexing unit for prolog

✍ Scribed by Douglas Renaux; Paul Dasiewicz

Publisher: Elsevier Science
Year: 1992
Weight: 461 KB
Volume: 35
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(92)90333-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Clause representations in a compiler-bas

Clause representations in a compiler-based prolog database

✍ Li Liangliang; Ci Yungui 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 457 KB

On the existence of nonterminating queri

On the existence of nonterminating queries for a restricted class of PROLOG-clauses

✍ Danny de Schreye; Maurice Bruynooghe; Kristof Verschaetse 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 557 KB

## Thts work studtes the extstence of nontermmatmg quertes for a restrtcted class of recurstve predtcates The class ts restrtcted to predtcates defined by a set of clauses contammg only one (dtrect) recurslve clause Moreover, thzs clause must be of the form P( ) -P( ) For this restrtcted cla~s of

A Clause for Murder

✍ Shure, Jill 📂 Fiction 🌐 English ⚖ 184 KB

A Clause for Murder

✍ Shure, Jill 📂 Fiction 🌐 English ⚖ 283 KB

A Clause for Murder

✍ Shure, Jill 📂 Fiction 📅 2010 🏛 Syntax Books 🌐 English ⚖ 301 KB

Courtney Farrow is a woman other women despise. She will steal your husband or lover and wash her hands in your tears. Her special victim is Betsy Ross. Ever since Courtney bought insurance from Betsy then inserted herself into Betsy's circle of friends, Courtney has made it her mission to seduce ev

A semantics for λProlog

✍ D.A. Wolfram 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 666 KB