10 Mar 2005
CS 3243 - FOL and Prolog
29
What is Logic
Programming?
lA type of
programming consisting of facts and relationships from which the programming language can draw a
conclusion.
–In imperative programming languages, we tell the computer what to do by programming the procedure by which
program states and variables
are modified.
–In
contrast, in logical
programming, we don’t tell
the computer exactly
what it should do (i.e., how to derive a conclusion). User-provided facts and relationships allow it to
derive answers via logical
inference.
lProlog
is the most widely used logic programming language.