Menu

Src (SVN)-old Commit Log


Commit Date  
[r5845] by tswift

adding .xwam as it can be a little tricky to compile due to operators.

2008-02-13 22:09:15 Tree
[r5844] by tswift

Adding bounds package.

2008-02-13 21:00:07 Tree
[r5843] by tswift

Minor change to take out exported predicate that was not needed.

2008-02-13 20:57:02 Tree
[r5842] by tswift

Updates mainly to add documentation for the bounds package.

2008-02-13 20:53:37 Tree
[r5841] by tswift

Tests for bounds package.

2008-02-13 20:49:05 Tree
[r5840] by tswift

Committing standard.xwam (guess I forgot).

also added numbervars/3 to as a "builtin" -- as specified in the long-way-from-adopted core revision.

2008-02-13 01:06:07 Tree
[r5839] by tswift

Lots of changes that started with adding doc for sub_atom/5. I
reviewed our implementation of a number of ISO predicates and updated
our documentation to indicate differences with the standard. This led
to lots of small changes as I reviewed documentation of varying ages.

2008-02-12 23:49:26 Tree
[r5838] by tswift

Added a couple of ISO predicates that aren't very useful unless you
can convert characters to different codes (rather than just ascii).
But they work, and it should make porting to XSB a little easier.

2008-02-12 23:44:48 Tree
[r5837] by dwarren

Added new cdf_checks for checking DL rules. (To help avoid problems
Jen was encountering when hand-creating DL rules.)

2008-02-11 22:33:30 Tree
[r5836] by tswift

Added documentation for sub_atom/7 and some over-looked documentation for atom_concat/3, both ISO predicates.

2008-02-10 19:01:38 Tree
Older >
Auth0 Logo