CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2004-10-19 11:12:36

Modified files: interfaces/Prolog: pl_check.pl

Log message: More tests added so as to test the Prolog interface more exhaustively. However, because of the more thorough testing, bugs in the Ciao Prolog and GNU Prolog interfaces have been exposed; as a result the "make check" for Ciao Prolog and GNU Prolog now fails.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl....