121. Cetus Links: 18,452 Links On Objects And Components / Prolog ObjectOriented Language prolog. Intro. prolog is a goal-oriented, implicative language based on predicate logic. Goal-oriented means that a program proceeds by attempting to achieve a goal which is http://www.cetus-links.org/oo_prolog.html

Object-Oriented Language: Prolog Intro Prolog is a goal-oriented, implicative language based on predicate logic. Goal-oriented means that a program proceeds by attempting to achieve a goal which is itself defined by other goals. Prolog operates in an inferential or implicative way: What you write are implications, and operation flows from one impliction to the next implied goal. A line of Prolog code is generally either a rule or a fact - code and data being largely interchangable. Prolog code often has a declarative interpretation, meaning that it specifies "what" exists but not "how." This is different from imperative in which a program defines a series of steps to carry out (C or Basic for example). PROLOG means PROgramming in LOGic. Implications are specified in the form of logical predicates called Horn clauses. A horn clause consists of a sought implication (a goal clause), and a set of clauses that must be be proven separated by . which simply means "if." A typical Prolog statement has the form: goalclause(V g clause (V ),..,clause

122. The XSB System The XSB programming System (Version 2.2 ). Dept. of Computer Science SUNY at Stony Brook In collaboration with Katholieke Universiteit http://www.cs.sunysb.edu/~sbprolog/xsb-page.html

The XSB Programming System (Version 2.2 Dept. of Computer Science SUNY at Stony Brook In collaboration with Katholieke Universiteit Leuven and Universidade Nova de Lisboa Current version: 2.2, released on April 20, 2000 Previous version: 2.1, released on November 25, 1999 About XSB Release Notes Please read the backward incompatibility notes! Download the System The XSB Programmers' Manual: Volume 1 and Volume 2 Postscript version: Volume 1 and Volume 2 PDF version: Volume 1 and Volume 2 The FLORA (an XSB-based F-logic compiler) manual: Postscript version PDF version Other Documentation How to Use XSB DLL from Visual Basic Acknowledgement of Support For further information about our group, see the XSB Research Group homepage . If you'd like to know more about XSB, or if you have any suggestions, send email to xsb-contact@cs.sunysb.edu If you have any problems with this page, please send us mail. Email: xsb-contact@cs.sunysb.edu $Date: 2000/04/20 21:12:34 $

123. Modular Termination Proofs For Logic And Pure Prolog Programs of the methods of Bezem Bez first published as Bez and of Apt and Pedreschi AP first published as AP for proving termination of logic and prolog programs. http://citeseer.ist.psu.edu/apt93modular.html

124. CG: 9 A Simple Prolog Program 9 A simple prolog program. Students and their semesters. Now we combine this knowledge into a small, complete program. Consider the following prolog program http://www.huminf.aau.dk/cg/Module_II/1030.html

Home Contents: Part I: Foundations Part II: CGs Part III: Programming 8 Terms 9 A simple Prolog program 9.1 Facts and the program database 9.2 Queries 9.3 Goals and subgoals 9.4 Matching ... Part VI: Reference 9 A simple Prolog program Students and their semesters We have looked at what a term is. We have seen four of the six kinds of terms. Now we combine this knowledge into a small, complete program. Consider the following Prolog program: student(Lisa, 5). student(Martin, 3). student(John, 3). student(Edward, 7). It is available as the file "Students1.plgCG" in the AAU sample directory. The program consists of four facts , each of which consists of a structure and a period ("."). Each structure denotes a relationship between a student's name and the semester at which the student is studying. Thus Lisa is in the fifth semester, while Martin is in the third, etc. We will reprint this sample program on subsequent pages when necessary. PrevLite: 8.6 Quiz: Terms NextLite: 9.1 Facts and the program database Prev: 8.6 Quiz: Terms Up: Part III: Programming Next: 9.1 Facts and the program database

125. PC AI - Artificial Intelligence Where Intelligent Technology Meets the Real World, The PC AI Home Page has moved. PC AI Magazine PO Box 30130 Phoenix, AZ 85046 Voice http://www.pcai.com/pcai/New_Home_Page/ai_info/pcai_prolog.html

Where Intelligent Technology Meets the Real World The PC AI Home Page has moved. PC AI Magazine PO Box 30130 Phoenix, AZ 85046 Voice: 602.971.1869 Fax: 602.971.2321 e-mail: info@pcai.com Comments? webmaster@pcai.com

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 7     121-125 of 125    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7