Commits

Author Commit Message Labels Comments Date
Carl Friedrich Bolz
some simplifications
Edd Barrett
Add test for delete/3 and add a test for nextto/3.
Ed Robbins
Replace GPL list predicates with MIT license cleanroom implementations.
Edd Barrett
Comment of why testing variable order is hard.
Edd Barrett
Re-implement min_member/2 and max_member/2. Remove Var ordering tests (see comments in code)
Edd Barrett
Test min_member/2 and max_member/2 work on empty lists.
Edd Barrett
Implement min_member/2 and max_member/2. This implementation will be reworked due to bad computational complexity. It is mainly the tests that I want from this commit.
Edd Barrett
Fix the standard order. Note that we do not use the iso standard order, but rather an order more akin to that of SWI prolog. As it stands the order is: Var < Float = Number = BigInt < Atom < Term Then numbers are tested by value, however, mixed int/float comparisons are *always* compared as floats. Note that strings are not yet supported and thus do not appear in the order. Removed some broken tests in favour of some…
Edd Barrett
Merge LICENSE in.
Edd Barrett
Add an LICENSE file. MIT.
Branches
new-list-predicates
Edd Barrett
Revamp the error handling code. Now lives in the exception itself rather than in the translatedmain.py. OK cfbolz.
Edd Barrett
test_error.py: Extract exception from ExceptionInfo instead of having assert False.
Branches
improve-error-handling
Edd Barrett
Put the newline on the end of prolog errors in the exception handler instead.
Branches
improve-error-handling
Edd Barrett
Rid of newlines in prolog error strings.
Branches
improve-error-handling
Edd Barrett
Allow re-use of UncaughtError and CatchableError error string generation. Introduces a new type "TermedError" so that the code is not duplicated in UncaughtError and CatchableError.
Branches
improve-error-handling
Edd Barrett
Add a few new list predicates.
Branches
new-list-predicates
Carl Friedrich Bolz
try to be more robust in the path handling
Edd Barrett
Add member/2 and tests. OK cfbolz.
Carl Friedrich Bolz
adapt to moved functions
Carl Friedrich Bolz
force signatures to not contain \x00 chars
Carl Friedrich Bolz
the position is just an index
Carl Friedrich Bolz
proper error handling
Carl Friedrich Bolz
better error checking
Armin Rigo
Rename the imports: "from pypy..." => "from rpython..."
Carl Friedrich Bolz
fix exceptions when variables occur
Carl Friedrich Bolz
test and fix about the interoperation of exceptions and findall
Carl Friedrich Bolz
move the target
Carl Friedrich Bolz
random stuff in my work dir
Branches
rip-out-varinterm
Carl Friedrich Bolz
add two XXXs
Branches
type-tag-terms
Carl Friedrich Bolz
merge compress-terms2
Branches
type-tag-terms
  1. Prev
  2. Next