论文信息 - An Introduction to Declarative Programming in CLIPS and PROLOG

An Introduction to Declarative Programming in CLIPS and PROLOG

We provide a brief introduction to CLIPS—a declarative/logic programming language for implementing expert systems—and PROLOG—a declarative/logic programming language based on first-order, predicate calculus. Unlike imperative languages in which the programmer specifies how to compute a solution to a problem, in a declarative language, the programmer specifies what they what to find, and the system uses a search strategy built into the language. We also briefly discuss applications of CLIPS and PROLOG.

Saverio Perugini | Jack L. Watkin | Adam C. Volk

[1] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.

[2] Fernando Pereira. A brief introduction to Prolog , 1993, HOPL-II.

[3] Mario Garcia,et al. Esdiabetes (an expert system in diabetes) , 2001 .

[4] Robert W. Sebesta,et al. Concepts of programming languages , 1973 .

[5] Joshua Eckroth. AI education matters: biductive computing with prolog , 2019, SIGAI.

[6] Peter J. F. Lucas,et al. Principles of expert systems , 1991, International computer science series.

[7] J. Giarratano. The CLIPS User?s Guide , 1998 .

[8] Gary Riley,et al. Expert Systems: Principles and Programming , 2004 .

[9] Yanhong A. Liu,et al. Declarative Logic Programming: Theory, Systems, and Applications , 2018, Declarative Logic Programming.