Prolog Development Environment

Studies

Files

Description Offline Online
Reference Compliance PDF HTML
Frequent Compliance HTML
Frequent Compliance 2 HTML

Description

We regularly execute test cases, to assure the quality of the Prolog runtime library. The test cases use the test support of the Prolog development environment, therefore they are found here. The test cases examine the compatiblity with the ISO core Prolog standard, as well as the compatibility of the frequent predicates with their requirements.