[PPL-devel] ppl/interfaces/Prolog tests/pl_check.pl Ciao/c ...

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2005-08-29 18:42:37

Modified files: interfaces/Prolog/tests: pl_check.pl interfaces/Prolog/Ciao: ciao_pl_check.pl interfaces/Prolog/XSB: xsb_pl_check.P

Log message: Added tests for Prolog interface predicates: bounded_affine_image, bounded_affine_preimage, generalized_affine_preimage.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_c...