The Mathematica Journal


About the Journal
Current Issue
Editorial Policy
Back Issues
Contact Information

The Mathematica Programmer

Logic Programming II: Applications

Volume 4, Issue 2
Spring 1994
Roman E. Maeder

This is the second of two columns on logic programming. It presents examples of typical logic 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.

View this article as a PDF

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