Package jp.ac.kobe_u.cs.prolog.lang

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


class PRED_system_predicate_1_119 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(setof(A,B,C)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(setof(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here


class PRED_system_predicate_1_120 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(current_input(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(current_input(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

class PRED_system_predicate_1_121 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(current_output(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(current_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

class PRED_system_predicate_1_122 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(set_input(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(set_input(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

class PRED_system_predicate_1_123 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(set_output(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(set_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

class PRED_system_predicate_1_124 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(open(A,B,C)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(open(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

class PRED_system_predicate_1_125 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(open(A,B,C,D)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(open(A,B,C,D)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

class PRED_system_predicate_1_126 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(close(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(close(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

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

class PRED_system_predicate_1_128 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(flush_output(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(flush_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here

TOP

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

Copyright © 2018 www.massapicom. All rights reserved.
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.