Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_prolog_java:tuprolog [2008/04/28 02:25] miw utworzono |
pl:miw:miw08_prolog_java:tuprolog [2008/04/28 02:31] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | <code java> | ||
| - | import alice.tuprolog.* ; | ||
| - | import java.io.FileInputStream ; | ||
| - | public class Test2P { | ||
| - | public static void main(String[] args) throws Exception { | ||
| - | Prolog engine = new Prolog() ; | ||
| - | SolveInfo info = engine.solve("append([1],[2,3],X).") ; | ||
| - | System.out.println(info.getSolution()) ; | ||
| - | Theory theory = new Theory(new FileInputStream("car.pl")) ; | ||
| - | try { | ||
| - | engine.setTheory(theory) ; | ||
| - | } | ||
| - | catch(InvalidTheoryException ex) { | ||
| - | System.out.println("Error :/") ; | ||
| - | } | ||
| - | SolveInfo info1 = engine.solve("start.") ; | ||
| - | System.out.println(info1.getSolution()) ; | ||
| - | } | ||
| - | } | ||
| - | </code> | ||
