AIwiki

To jest stara wersja strony!

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()) ;
  }
}