Recent XSB development versions (available on the XSB CVS server) define forall/2 as a built-in predicate. The XSB config file distributed with Logtalk 2.38.2 still contains a definition for the forall/2 predicate. In order to avoid a conflict at Logtalk startup, simply delete this predicate definition from the XSB config file.
Tips and tricks when running Logtalk using XSB as the back-end compiler
Moderator: Paulo Moura
1 post • Page 1 of 1
Who is online
Users browsing this forum: No registered users and 1 guest