Language interfaces, automated reasoning systems and expert systems. Prolog is used in artificial intelligence applications such as natural Prolog is a weakly typed language with dynamic type checking and static backtracking to generate alternative solutions.
Will be more than one solution, in such cases the run time system may beĪsked find other solutions.
Often there will be more than one way to deduce the answer or there Structures, and input and output are interchangeable. (unification), a backtracking strategy to search for proofs, uniform data Of facts and rules to determine (by logical deduction) the answer.Īmong the features of Prolog are `logical variables' meaning that theyīehave like mathematical variables, a powerful pattern-matching facility 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 kommentar(er)
