XSB Src (SVN)-old

Provisional change to fix strict_po.

Implemented arithmetic functions sinh/1, cosh/1, tanh/1, asinh/1 for compatibility with Prolog compilers such as YAP and SICStus Prolog. Definitions for the arithmetic functions acosh/1 and atanh/1 are partially implemented but commented out as I have not idea how to return exceptions when the function argument is out of range.

Corrected some typos on the user manual.

Added documentaton on the new built-ins epsilon/0, atan/2, atan2/2, and false/0 to the user manual.

Fixed spelling error in error message.

Second step for implementing de facto standard meta_predicate/1 predicate properties.

First step for implementing de facto standard meta_predicate/1 predicate properties.

Fix for deleting any existing stream aliases when closing a stream using close/2 (already fixed for close/1).

Implemented the built-in predicate false/0 (equivalent to fail/0) as found on recent standardization proposals and already available on other Prolog compilers.

Defined the arithmentic function atan/2 (butt-ugly alias atan/2 also recognized).