Fix prolog libraries add iso library

This commit is contained in:
Victor Shcherb 2011-08-14 12:08:34 +02:00
parent 6828caf85a
commit 05257be356

View file

@ -54,7 +54,8 @@ public abstract class AbstractPrologCommandPlayer implements CommandPlayer {
try { try {
this.ctx = ctx; this.ctx = ctx;
prologSystem = new Prolog( prologSystem = new Prolog(
new String[] { "alice.tuprolog.lib.BasicLibrary" }); //$NON-NLS-1$ new String[] { "alice.tuprolog.lib.BasicLibrary",
"alice.tuprolog.lib.ISOLibrary"}); //$NON-NLS-1$
} catch (InvalidLibraryException e) { } catch (InvalidLibraryException e) {
log.error("Initializing error", e); //$NON-NLS-1$ log.error("Initializing error", e); //$NON-NLS-1$
throw new RuntimeException(e); throw new RuntimeException(e);