| mc.zip
|
The updated and expanded (18-Apr-2006) MC model serves as an illustration/tutorial
of inexact rules - (2.1 Mb). [V.1.1] |
| rac.zip
|
The RAC model (Rent-a-car)
serves as simple illustration/tutorial of most aspects of Pro/3
(excluding inexact rules) - (244 Kb). [V.1.1] |
| summit.zip |
The Summit model is small model which can be
used to explore inference issues (720 Kb). [V1.0] |
| einstein.zip |
The Einstein Puzzle model is a small
knowledge base clustering model. Only the four source files needed to
build the KB are included in the download (5 Kb). Follow the step-by-step guide. Also refer to the design of the model. |
|
Other
|
| clan.zip |
clan.exe
version 1.06 is a tool for analyzing Visual Prolog v.6 projects (and
for general purpose search and/or substitute in sets of text files). It
includes an executable program (700 Kb). Unzip clanexe.zip to the same
directory as pro3.exe. |
| pro3source.zip |
Pro/3 Visual Prolog 6.2 source files (12 MB) |