This branch contains a lot of fixes to tests that fail in the regression suite. In addition to tidying up mistakes in the tests themselves, this also includes:
A proper nondet implementation of length/2 (and test for it). This was listed as a TBD
A better implementation of predicate_property/2 (and tests for it. Note that only static/0, dynamic/0, built_in/0, and meta_predicate/1 are implemented). This was listed as a TBD
A change to Evaluate so that we check whether the functor is evaluable before evaluating the args. (this was listed as a TBD)
After this, all the junit and inria-suite tests pass. This addresses #5
This branch contains a lot of fixes to tests that fail in the regression suite. In addition to tidying up mistakes in the tests themselves, this also includes:
After this, all the junit and inria-suite tests pass. This addresses #5