The Mathematica Journal

Search

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