The complete Pro/3 system is available for free from this site (see Licensing Agreement for details). Sample knowledge bases are also available for free in separate downloads.
Refer to readme for installation procedure and details regarding known errors and limitations. Please check out this site for improved versions, which will be made available regularly. A sample knowledge base with extensive use of certainty rules will also become available. See also upgrading from earlier versions of Pro/3.