Mathematica 9 is now available

Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

The Mathematica Programmer: Logic Programming II: Applications

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

The Mathematica Journal
Year: 1994
Volume: 4
Issue: 2
Page range: 38-43

This is the second of two columns on logic programming. It presents examples of typical programming applications using the query evaluator developed in the first column. Among the examples considered are implementations of Prolog-style lists, nondeterministic automata, backtracking and exhaustive search, theorem proving, and deductive databases.

*Applied Mathematics > Computer Science
Related items

*The Mathematica Programmer: Logic Programming I: The Interpreter   [in Articles]