Jekejeke Prolog 0.9.9 (better copy and new lambda)
Jan Burse, created Jun 02. 2013
We have just uploaded the new release of Jekejeke
Prolog. It contains some improvements of
the runtime library.
The highlights are:
- Better Copy: We could improve the copy_term/2 predicate. This
is seen for example by ca. 20% faster consult of Prolog texts.
There are also new sys_copy_term_site/[2,4,6] predicates which
are able to copy the call-sites as well. These predicates are
a little slower than the normal copy.
- New Lambda: We now use two separate operators for lambda
expressions. The new operator (\)/2 is responsible for the
abstraction, and the old operator (^)/2 only exclusively for
local variables. Through this we can eliminate an ambiguity
observed by Ulrich Neumerkel.