Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

The Mathematica Programmer: Logic Programming I: The Interpreter
Author

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

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

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.
Subjects

*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]
URL

http://www.mathematica-journal.com/issue/v4i1/columns/maeder/53-63_Roman41.mj.pdf