LOGIC PROGRAMMING AND THE EXECUTION MODEL OF PROLOG

Authors
TAMIR DE KANDEL A
Citation
De. Tamir et A. Kandel, LOGIC PROGRAMMING AND THE EXECUTION MODEL OF PROLOG, Information sciences, applications, 4(3), 1995, pp. 167-191
Citations number
12
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information sciences, applications → ACNP
ISSN journal
10690115
Volume
4
Issue
3
Year of publication
1995
Pages
167 - 191
Database
ISI
SICI code
1069-0115(1995)4:3<167:LPATEM>2.0.ZU;2-1
Abstract
This paper introduces the subject of logic programming, describes the execution model of Prolog, and surveys Prolog development tools. In ad dition, the paper explains how Prolong integrates with artificial inte lligence applications and software engineering principles. Finally, it shows how the execution model of Prolog can be optimized and parallel ized efficiently.