 |
|
|
|
|
 |
|
|
The Mathematica Programmer: Logic Programming I: The Interpreter
|
|
|
|
|
|
| Organization: | Wolfram Research, Inc. |
| Department: | Kernel Technology |
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
http://www.mathematica-journal.com/issue/v4i1/columns/maeder/53-63_Roman41.mj.pdf
|
|
For the newest resources, visit Wolfram Repositories and Archives »
