Add Ergo/Flora and XSB prolog via InterProlog bridge

bolerio / seco

Advanced Scripting IDE for JVM based languages.

28 stars 4 forks source link

Add Ergo/Flora and XSB prolog via InterProlog bridge #46

Open ponyatov opened 7 years ago

ponyatov commented 7 years ago

Add Ergo/Flora and XSB Prolog via InterProlog bridge: http://interprolog.com/java-bridge/

http://flora.sourceforge.net/ looks as powerful reasoning engine, it will be good to embed it into seco script list

ponyatov commented 7 years ago

import com.declarativa.interprolog.*;
engine = new XSBSubprocessEngine("../FLORA/XSB");
engine.deterministicGoal("add_lib_dir('../FLORA/flora2')");
engine.deterministicGoal("[flora2]");
engine.deterministicGoal("false");
//engine.shutdown();

ponyatov commented 7 years ago

/home/user/FLORA/flora2/java/interprolog.jar must be configured in CLASSPATH