Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

The Mathematica Programmer: Logic Programming I: The Interpreter

Roman Maeder
Organization: Wolfram Research, Inc.
Department: Kernel Technology
Journal / Anthology

The Mathematica Journal
Year: 1994
Volume: 4
Issue: 1
Page range: 53-64

This is the first of two columns on logic programming. It gives an introduction to the subject and develops a query evaluator in Mathematica. This query evaluator is an interpreter for a subset of the programming language Prolog. A prerequisite for it is unification, which is a generalization of the pattern matching that underlies Mathematica's own evaluator.

*Applied Mathematics > Computer Science
*Mathematics > Foundations of Mathematics > Logic
*Wolfram Technology > Programming
Related items

*Involutive Divisions in Mathematica: Implementation and Some Applications   [in Articles]
*The Mathematica Programmer: Logic Programming II: Applications   [in Articles]