๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A logical reconstruction of Prolog II

โœ Scribed by M.H. van Emden; J.W. Lloyd

Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
447 KB
Volume
1
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A logical approach to A-Prolog
A logical approach to A-Prolog
โœ Mauricio Osorio; Juan Antonio Navarro; Josรฉ Arrazola ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 758 KB
A pragmatic reconstruction of ฮปProlog
A pragmatic reconstruction of ฮปProlog
โœ Catherine Belleannรฉe; Pascal Brisset; Olivier Ridoux ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 294 KB

kProlog is a logic programming language in which hereditary Harrop formulas generalize Horn formulas, and simply typed k-terms generalize Prolog terms. One may wonder if these extensions are simultaneously required, and if useful subsets of kProlog can be deยฎned, at least for pedagogical purposes. W

Logic programming and knowledge represen
Logic programming and knowledge representationโ€”The A-Prolog perspective
โœ Michael Gelfond; Nicola Leone ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 262 KB

In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer