Examples of jp.ac.kobe_u.cs.prolog.lang.PrologControl

jp.ac.kobe_u.cs.prolog.lang.PrologControl

xample of sequential execution // calls a goal <code>father(abraham, X)</code> and get all solutions. PrologControl p = new PrologControl(); Predicate code = new PRED_father_2(); Term a1 = SymbolTerm.makeSymbol("abraham"); Term a2 = new VariableTerm(); Term[] args = { a1, a2 }; p.setPredicate(code, args); for (boolean r = p.call(); r; r = p.redo()) { System.out.println(a2.toString()); }

 // To get only one solution. PrologControl p = new PrologControl(); Predicate code = new PRED_father_2(); Term a1 = SymbolTerm.makeSymbol("abraham"); Term a2 = new VariableTerm(); Term[] args = { a1, a2 }; if (p.execute(code, args)) System.out.println(a2.toString()); else System.out.println("fail");

 // An example of parallel execution // calls <code>queens(4,X)</code> and <code>queens(8,Y)</code> in parallel. // Usage: //   % plcafe -cp queens.jar T //  import jp.ac.kobe_u.cs.prolog.lang.*; public class T { public static void main(String args[]) { long t = System.currentTimeMillis(); boolean r1 = true; boolean r2 = true; Term a1[] = { new IntegerTerm(4), new VariableTerm() }; Term a2[] = { new IntegerTerm(8), new VariableTerm() }; PrologControl e1 = new PrologControl(); PrologControl e2 = new PrologControl(); Term v1 = new VariableTerm(); Term v2 = new VariableTerm(); e1.setPredicate(new PRED_queens_2(), a1); e2.setPredicate(new PRED_queens_2(), a2); System.out.println("Start"); e1.start(); e2.start(); while (r1 || r2) { try { Thread.sleep(10); } catch (InterruptedException e) { } if (r1 && e1.ready()) { r1 = e1.next(); if (r1) { System.out.println("Success1 = " + a1[1]); e1.cont(); } else { System.out.println("Fail1"); } } else if (r2 && e2.ready()) { r2 = e2.next(); if (r2) { System.out.println("Success2 = " + a2[1]); e2.cont(); } else { System.out.println("Fail2"); } } else { System.out.println("Waiting"); try { Thread.sleep(100); } catch (InterruptedException e) { } } } System.out.println("End"); long t1 = System.currentTimeMillis(); long t2 = t1 - t; System.out.println("time = " + t2 + "msec."); } }

@author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.2

      // Create predicate
      Class clazz = new PrologClassLoader().loadPredicateClass(
          "jp.ac.kobe_u.cs.prolog.compiler.pl2am", "pl2am", 1, true);
      Predicate code = (Predicate) clazz.newInstance();
      // Translate Prolog into WAM
      PrologControl p = new PrologControl();
      p.setPredicate(code, args);
      // System.out.println(code);
      return p.execute(code, args);
    } catch (Exception e) {
      e.printStackTrace();
    }
    return false;
  }

View Full Code Here

@ThreadSafe
public class PrologCafeModelFactory implements OpponentModel.Factory {


  @Override
  public OpponentModel create(PlayerId actor) {
    PrologControl prolog = new PrologControl();
    return new PrologCafeModel(prolog);
  }

View Full Code Here

@Deprecated
public class RedundantModelFactory implements OpponentModel.Factory {


  @Override
  public OpponentModel create(PlayerId actor) {
    PrologControl prolog = new PrologControl();
    PrologCafeModel model1 = new PrologCafeModel(prolog);


    Prolog engine = new Prolog();
    try {
      Theory theory1 = new Theory(

View Full Code Here

      // "am2j", 1);
      Class clazz = new PrologClassLoader().loadPredicateClass(
          "jp.ac.kobe_u.cs.prolog.compiler.am2j", "am2j", 1, true);
      Predicate code = (Predicate) clazz.newInstance();
      // Translate WAM into Java
      PrologControl p = new PrologControl();
      p.setPredicate(code, args);
      // System.out.println(code);
      return p.execute(code, args);
    } catch (Exception e) {
      e.printStackTrace();
    }
    return false;
  }

View Full Code Here

TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.PrologControl

jp.ac.kobe_u.cs.prolog.compiler.Compiler

org.cspoker.ai.opponentmodels.prolog.cafe.PrologCafeModelFactory

org.cspoker.ai.opponentmodels.prolog.redundant.RedundantModelFactory

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.