Logic programming and the execution model of Prolog

Abstract

This paper introduces the subject of logic programming, describes the execution model of Prolog, and surveys Prolog development tools. In addition, the paper explains how Prolong integrates with artificial intelligence applications and software engineering principles. Finally, it shows how the execution model of Prolog can be optimized and parallelized efficiently.