The Mathematica Journal


About the Journal
Current Issue
Editorial Policy
Back Issues
Contact Information

The Mathematica Programmer

Logic Programming I: The Interpreter

Volume 4, Issue 1
Winter 1994
Roman E. Maeder

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.

View this article as a PDF

About Mathematica 
© Wolfram Media, Inc. All rights reserved.