University of Dayton eCommons Computer Science Faculty Publications Department of Computer Science 7-2019 An Introduction to Declarative Programming in CLIPS and PROLOG Jack L. Watkin University of Nebraska - Lincoln Adam C. Volk University of Nebraska - Lincoln Saverio Perugini University of Dayton,
[email protected] Follow this and additional works at: https://ecommons.udayton.edu/cps_fac_pub Part of the Graphics and Human Computer Interfaces Commons, and the Other Computer Sciences Commons eCommons Citation Watkin, Jack L.; Volk, Adam C.; and Perugini, Saverio, "An Introduction to Declarative Programming in CLIPS and PROLOG" (2019). Computer Science Faculty Publications. 179. https://ecommons.udayton.edu/cps_fac_pub/179 This Conference Paper is brought to you for free and open access by the Department of Computer Science at eCommons. It has been accepted for inclusion in Computer Science Faculty Publications by an authorized administrator of eCommons. For more information, please contact
[email protected],
[email protected]. Int’l Conf. Scientific Computing j CSC’19 j 105 An Introduction to Declarative Programming in CLIPS and PROLOG Jack L. Watkin, Adam C. Volk1, and Saverio Perugini2 1Department of Mathematics, University of Nebraska Lincoln, Lincoln, Nebraska, USA 2Department of Computer Science, University of Dayton, Dayton, Ohio, USA Programming Languages Abstract— We provide a brief introduction to CLIPS—a declarative/logic programming language for implementing expert systems—and PROLOG—a declarative/logic program- ming language based on first-order, predicate calculus. Un- Procedural Non-procedural like imperative languages in which the programmer specifies how to compute a solution to a problem, in a declarative Imperative Functional language, the programmer specifies what they what to find, Non-declarative Declarative C LISP and the system uses a search strategy built into the language.