Running Logtalk with GNU Prolog 1.2.13

[Paulo Moura]

Hi!

There is a problem with the implementation of the GNU Prolog 1.2.13 
predicate_property/2 built-in predicate that prevents Logtalk of 
correctly compiling predicate objects that call built-in predicates. An 
easy workaround is to turn off the GNU Prolog strict_iso flag (by 
default, it's on):

        | ?- set_prolog_flag(strict_iso, off).

This should be done before compiling any Logtalk source files. You can 
put the call in the gnu.config configuration file. The problem is 
corrected in GNU Prolog 1.2.14 that you can grab from the unstable ftp 
directory of GNU Prolog releases (go to the compiler web site for 
downloading). Please note that the problem is not related with the 
strict_iso mode but with a bug in predicate_property/2 that shows up by 
turning this flag on.

Happy logtalking!

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Informatics                   Office 4.3  Ext. 3257
University of Beira Interior          Phone: +351 275319700
6201-001 Covilhã                      Fax:   +351 275319732
Portugal

mailto:address@hidden
http://www.logtalk.org/pmoura.html
-----------------------------------------------------------