The prolog language: Artificial intelligence applications, relevance to the systems community, and a review of seven texts, by James L. Snell, Dept. of Mathematics and Computer Science, SUNY College at Brockport, Brockport, NY 14420, U.S.A.

Abstract

Prolog is a relatively new computer programming language, developed for Artificial Intelligence, that provides automatic inference from given facts and rules. Prolog is of interest to the Systems community, since it is suited to modeling complex qualitative relationships involving uncertainty, continual change, and self‐modification. This article includes a description of Prolog, some of its present applications, its relevance to Systems research, a brief tutorial, and comparative reviews of seven books on the language.