Computer Programming Languages -- Logic Programming

By Herbert J. Bernstein

© Copyright 2000 Herbert J. Bernstein

Logic Programming or Declarative Programming defines a program by specifying facts and logical relationships among them, rather than by specifying any particular actions to be performed. It is based on the techniques of formal symbolic logic and techniques originally used in automating proofs of mathematical theorems. The most important languages of this type are variants of Prolog. Prolog lends itself naturally to object-oriented programming. See