[All bundles]

iso_tests

Manuals: iso_tests
Source: repository
Dependencies: ciaodbg

ISO Prolog tests for Ciao

This is a ISO Prolog conformance test for Ciao.

Usage

Clone this repository into your workspace or install with ciao get iso_tests. Then run:
ciao test iso_tests