Pro/3 Downloads

See also: upgrading from earlier versions of Pro/3

General topics: Pro/3 home page  -  What is Pro/3?  -  definitions  -  pro3.exe

Version 1.1.1 05-Apr-2007

pro3_install.zip 

Pro/3 system installation kit (release 1.1.1) and related files (3.7 MB). If you already have a 1.0.xx installation, you only need to download the latest version of pro3.exe (3.6 Mb).

Current version of standard knowledge files (25 Kb). These are also included in the installation kit.

pro3.exe has been compiled and linked with Visual Prolog version 6.2 under Windows XP SP2. We are not aware of problems associated with using Pro/3 under Windows 2000.
The Visual Prolog 6 Pro/3 source (release 1.0.12) is also available for download (11.8 Mb).

Refer to README for installation instructions and the separate getting started topic before starting pro3.exe.

Please e-mail jens@ligaya.net if you are interested in the PHP/MySQL web-client.

 

Sample Knowledge Bases

 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)