CxProlog

11: * Manual:

atom_chars(?A,?L)

10: *

vn#1:

main ?- catch(write_term(T,[quoted(true),variable_names([N=T])]),error(E,_),true).
T = _G17 
N = _G20 
E = 'ERROR', unexpected

593872 2019-12-23 02:54 cxprolog-0.98.3.src.tgz

416815 2010-11-11 18:06 cxprolog-0.97.5.src.tgz

9: * Integers

[main] ?- X is 10000000000000000000000000000.
X = 9999999999999999999731564544 ?
yes

8: * (**)/2

[main] ?- catch(X is-1**1.5,error(E,_),true).
X = nan 
E = _G44 ? ;
no

Expected: E = evaluation_error(undefined)

7: * atom_chars/2

[main] ?- Xs=[a|Xs],atom_chars(A,Xs).
{FATAL ERROR (atom_chars/2): No more computer memory available.}
% CxProlog halted.

Expected: type_error(list,[a| ...]).

6: * Incorrect (max)/2 function

[main] ?- X is max(2,3.0).
X = 3 ? ;
no

[main] ?- X is max(2.0,3.0).
X = 3 ? ;
no

Expected: X = 3.0.

5: * Incorrect (mod)/2 function

ulrich@gupu2:~$ /opt/gupu/src/cxprolog-0.97.5-dev/cxprolog 
CxProlog version 0.97.5 [development]
 
[main] ?- X is -1 mod 2.
X = -1 ? ;
no

Expected: X = 1.

4: *

[main] ?- [user].
|: setup_call_cleanup(S, G, C) :-
|:    once(S),
|:    call_cleanup(G, C).
|: % File user consulted, 0 sec 168 bytes
yes

[main] ?- setup_call_cleanup(true, throw(unthrown),_).
{ERROR (call/1): Unbound VARIABLE in call/1: _G68.}
{Emergency exit: No event handler for 'peException'.}
...
[main] ?- setup_call_cleanup(true, true, X = 2).
X = _G37 ? ;
no

Expected: X = 2

402514 2010-07-01 22:50 cxprolog-0.97.5-dev.src.tgz

3: * setup_call_cleanup/3

In this report the functionality is defined and also a lot of test cases are given.

2: * Installation problem

g3:/opt/gupu/src/cxprolog-0.97.3> make test
./cxprolog --check
make: *** [test] Segmentation fault
g3:/opt/gupu/src/cxprolog-0.97.3> history
     1  17:53   cd /opt/gupu/src
     2  17:53   tar xvzf ../gz/cxprolog-0.97.3.src.tgz
     3  17:53   cd cxprolog-0.97.3/
     4  17:53   make
     5  17:54   make clean
     6  17:54   make USE_READLINE=y
     7  17:56   make test
     8  17:57   make clean
     9  17:57   make USE_READLINE=y
    10  17:57   make test
    11  17:57   history
g3:/opt/gupu/src/cxprolog-0.97.3> uname -a
Linux g3 2.6.18perfctr #1 SMP Fri May 4 16:10:13 CEST 2007 x86_64 GNU/Linux
g3:/opt/gupu/src/cxprolog-0.97.3> cat /etc/issue
Debian GNU/Linux 4.0 \n \l

    12  17:58   uname -a
    13  17:58   cat /etc/issue
    14  18:11   find . -newer .   
    15  18:11   find -newer .
    16  18:11   ls
    17  18:13   make install PREFIX=/opt/gupu/cxprolog-0.97.3
    18  18:13   /opt/gupu/cxprolog-0.97.3/bin/cxprolog
    19  18:13   strace opt/gupu/cxprolog-0.97.3/bin/cxprolog
    20  18:13   strace /opt/gupu/cxprolog-0.97.3/bin/cxprolog
    21  18:14   history

1: *0.97.4 occurs_check

The manual claims, that execution with occurs-check turned on is incompatible with ISO. However, the unification X = f(X) is undefined in 13211-1. This is therefore a fully compliant execution mode. See 7.3 Unification. For reasons of compatibility consider SWI's flag names: occurs_check: true, false, error. A detailed discussion of this feature is in this paper, chapter 2.

	Name	Last modified	Size	Description
	Parent Directory		-
	CX-HEADER.html	2025-07-10 12:35	4.2K
	item2.txt	2009-09-29 18:16	5.2K