Prolog: Logic based programming

被引：0

作者：

Barth, Gerhard ^{[1
]}

机构：

[1] Institut für Informatik, Universität Stuttgart, Azenbergstr. 12, Stuttgart 1,D-7000, Germany

来源：

IT - Information Technology | 1987年 / 29卷 / 04期

关键词：

Logic programming - PROLOG (programming language);

D O I：

10.1524/itit.1987.29.4.217

中图分类号：

学科分类号：

摘要：

PROLOG stands for PROgramming in LOGic. In this paper, programming techniques for the language are discussed. At the outset, the structure of PROLOG programs is introduced. This is followed by a description of the actions involved in program execution. After these rather elementary concepts, more advanced PROLOG features are presented. Furthermore, hints to several application areas for logic based programming are given. Comments about past, present and future developments of PROLOG conclude this paper. This presentation does not aim at a complete coverage of syntactical and semantical details of PROLOG. Many explanations are given in a somewhat simplified form, yet they do not violate any PROLOG programming rules. The goal in writing this paper has been to familiarize the reader with logic based programming to an extent that allows him to judge the possible benefits for his own work. The appended list of references to the literature should help those readers, who wish to leant more about PROLOG programming. © 1987 De Gruyter Oldenbourg. All rights reserved.

引用

页码：217 / 226