![]() When asked a question, the run time system searches through the data base Rather then running a program to obtain a solution, the user asks a question. (rules) which describe the relationships which hold for the given application. Is a declarative language meaning that rather than describing how to computeĪ solution, a program consists of a data base of facts and logical relationships ![]() Is based the mathematical notions of relations and logical inference. ![]() Language in the logic programming paradigm. Prolog, which stands for PROgramming in LOGic, is the most widely available Introduction to Prolog Introduction The Structure of Prolog Program Syntax Types Simple Composite Expressions Unification and Pattern Matchine Functions Lists Iteration Iterators, Generators and Backtracking Tuples Extra-Logical Predicates Input/Output Style and Layout Applications & Advanced Programming Techniques Negation and Cuts Definite Clause Grammars Incomplete Data Structures Meta Level Programming Second-Order Programming Database Expert Systems Object-Oriented Programming Appendix References Introduction Wirth: Program = data structure + algorithm Robinson: A program is a theory (in some logic) and computation
0 Comments
Leave a Reply. |