Mathematica 9 is now available

Wolfram Library Archive


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

The Mathematica Programmer: Logic Programming II: Applications
Author

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

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

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

*Applied Mathematics > Computer Science
Related items

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

http://www.mathematica-journal.com/issue/v4i2/columns/maeder/38-43_maeder42.mj.pdf