||The most fundamental element in Prolog made up of a string
of characters, numbers, and some special characters.
||A control method used to search backwards for solutions.
||A process used to find the solution by searching backwards
from the solution towards the initial conditions thus verifying the specified
||The process of assigning a variable a value.
||A variable that has been assigned a value.
||Either a Prolog fact or rule.
||An operator used to terminate backtracking in areas that
will not give useful solutions.
||A language that allows programming by defining the boundary
conditions and constraints and letting the computer determine a solution
that meets these requirements.
||A statement about the relationship between objects.
||A Prolog operator that causes backtracking to occur.
||A process used to find the solution by starting with an
assumption and working toward a final goal.
||Characterized by its name, which is an atom, and the arity
or number of arguements.
||The solution that the Prolog program is trying to reach
or prove correct.
||A collection of objects enclosed in square brackets such
as [a, b, c]. A list is made up of the head (or first element) and a tail
(the remainder of the list).
||A rule that defines the roles of other rules.
||A function that returns either a true or false value.
||The extension of propositional calculus that enables the
use of variables.
||The traditional programming that is based on algorithms
or a logical step-by-step process for solving a problem.
||An expression about an object which can have either a true
or false value.
||The formal logic system used to define the true or false
values of objects.
||A clause that defines the relationship or relationships
between facts and objects.
||An object, compound object, variable, or list.
||The pattern matching technique used by Prolog to match goals
and sub-goals in a program.
||A storage location with a name that can be assigned a value.
||For More Info on
The Prolog Programming Language
Designed by Terry H. and the web team at Knowledge Technology: Comments?