Hello,
The following is from one of the examples supplied with the ciao documentation. The computer setup is a 64 bit Debian based Mint 14 system.
There are no compilation errors; however, executing results in a segmentation error.
michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaoc geometry1 michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ./geometry1 Segmentation fault
Execution in a shell results in most of the predicates being undefined.
michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaosh -f Ciao 0: Sat Mar 16 13:03:15 EDT 2013 ?- [geometry1]. {Compiling /home/michael/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry/poly_class.pl {In *class_expansion* ERROR: (lns 0-0) Predicate fact$exp/3 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class2/1 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class0/1 undefined in source ERROR: (lns 0-0) Predicate $goaltcl_name1/1 undefined in source ERROR: (lns 0-0) Predicate $goalcreation_options1/1 undefined in source
The segmentation error looks more like something caused by a 32 versus 64 bit system incompatibility. Any suggestions as to what to check to determine the source of the error?
Mike