Mathematics & Computer Science Department
Rivier College
420 Main Street  Nashua, NH

Software Catalog
Visual Prolog

horizontal rule

Brief Description
                 Prolog, which stands for PROgramming in LOGic, is the most widely available language in the logic programming paradigm. Logic and therefore Prolog is based the mathematical notions of relations and logical inference.
                   Prolog is a declarative language meaning that rather than describing how to compute a solution, a program consists of a data base of facts and logical relationships (rules) which describe the relationships which hold for the given application. Rather then running a program to obtain a solution, the user asks a question. When asked a question, the run time system searches through the data base of facts and rules to determine (by logical deduction) the answer.


        Latest version of  Visual Prolog can be downloaded free of charge at


horizontal rule

Last date page was modified: October 2nd,2010