Menu

Src (SVN)-old Commit Log


Commit Date  
[r5871] by pmoura

Added call/[4-10] built-in predicates.

2008-02-18 22:09:05 Tree
[r5870] by tswift

Updating make to accord with the pl->P changes to support dynamic loading of CLPR modules.

2008-02-18 20:53:03 Tree
[r5869] by tswift

Changing .pl -> .P for some files to work better with the module
system. At some point, perhaps we should add .pl to some of the
dynamic loaders, or at least think seriously about it.

2008-02-18 20:29:35 Tree
[r5868] by tswift

added test of precision for compiled float code -- I'll probably have to modify this for 64-bits.

2008-02-18 20:18:21 Tree
[r5867] by tswift

loader_xsb.c - changed environment conflict message from an xsb_error
(a soft error) to a warning. Two things prompted me to do this.

First, this sort of soft error seems a bit confusing with our (mostly)
ISO-compatable notion of what an error is. Second, after emitting the
message, calls proceed correctly -- so a warning seems a better choice.

2008-02-18 20:16:04 Tree
[r5866] by tswift

Added call/2 and call/3 in standard.

Also in eval, moved pi/1 and e/1 up from end_of_file so compiler can use it.

2008-02-18 20:02:32 Tree
[r5865] by tswift

Adding weibull, exponential and normal distributins (manual doc added a day or two ago).

2008-02-18 19:53:42 Tree
[r5864] by tswift

May have forgotten to commit this, it includes changes to allow constant functions like pi and e.

2008-02-18 19:51:11 Tree
[r5863] by tswift

Changes in system.tex to describe the module system -- old description
was out of date in several respects. Also added several examples of
use.

Changed some description items so that standard predicates will appear
as such in the index.

Added descriptions of call/[2,3]

2008-02-18 19:46:36 Tree
[r5862] by dwarren

Fixed bug in compiler handling of goals of form Mod:Variable.
Also minor change in parenthesization in loader, for clarity.

2008-02-16 21:50:00 Tree
Older >
Auth0 Logo