The Mathematica Journal

Search

About the Journal
Current Issue
Editorial Policy
Submissions
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.