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
be downloaded free of charge at