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

jp.ac.kobe_u.cs.prolog.lang.Predicate
The superclass of classes for predicates. The subclasses of Predicate must override the exec and arity methods. @author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.0


class PRED_system_predicate_1_129 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(flush_output):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(flush_output):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){

View Full Code Here


class PRED_system_predicate_1_130 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(stream_property(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(stream_property(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_131 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get_char(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get_char(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_132 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get_char(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get_char(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_133 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get_code(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get_code(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_134 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get_code(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get_code(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_135 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(peek_char(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_char(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_136 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(peek_char(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_char(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_145 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get0(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get0(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here


class PRED_system_predicate_1_146 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get0(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get0(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_2

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_3

jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_4

jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_1

jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_2

jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_3

jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_4

jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_5

jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_6

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.