𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Multi-engine Horn Clause Prolog

✍ Scribed by Paul Tarau

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
31 KB
Volume
30
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Horn clause computability
Horn clause computability
✍ Sten-Γ…ke TΓ€rnlund πŸ“‚ Article πŸ“… 1977 πŸ› Springer Netherlands 🌐 English βš– 746 KB
A clause indexing unit for prolog
A clause indexing unit for prolog
✍ Douglas Renaux; Paul Dasiewicz πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science βš– 461 KB
Non-Horn clause logic programming
Non-Horn clause logic programming
✍ Xumin Nie πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 1014 KB

There has been active work to extend the Prolog style Horn clause logic programming to non-Horn clauses. In this paper, we analyze and compare several such extensions using an analytical approach. All the extensions discussed behave exactly like Prolog when only Horn clauses are involved. The purpos

Parallel backtracking prolog engine
Parallel backtracking prolog engine
✍ M De Blasi; A Gentile; G Lopez; A Franco πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science βš– 261 KB