CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-06-14 12:45:34
Modified files:
interfaces/Prolog: ppl_prolog.icc
Log message:
Added to term_to_boundary checks that the input numerator
and denominator are integers and that the denominator
is positive.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…