 |
|
|
|
|
 |
|
|
The Mathematica Programmer: Logic Programming II: Applications
|
|
|
|
|
|
| Organization: | Wolfram Research, Inc. |
| Department: | Kernel Technology |
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
http://www.mathematica-journal.com/issue/v4i2/columns/maeder/38-43_maeder42.mj.pdf
|
|
For the newest resources, visit Wolfram Repositories and Archives »
