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