Menu

Src (SVN)-old Commit Log


Commit Date  
[r5846] by tswift

Adding (the correct version of) bounds.xwam as is can be a little difficult to compile.

Also, upated bounds.pl with a portray hook so that you can see the values of the variables in the command line.

2008-02-13 22:11:46 Tree
[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
Older >
Auth0 Logo