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

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.compareTo()

44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // '$not_after'(A,B):-['$not_after'(A,B)]
        //START inline expansion of $not_after(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) > 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // A@>B:-['$after'(A,B)]
        //START inline expansion of $after(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) <= 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // '$not_before'(A,B):-['$not_before'(A,B)]
        //START inline expansion of $not_before(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) < 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // A@>=B:-['$not_before'(A,B)]
        //START inline expansion of $not_before(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) < 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // '$after'(A,B):-['$after'(A,B)]
        //START inline expansion of $after(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) <= 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // '$before'(A,B):-['$before'(A,B)]
        //START inline expansion of $before(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) >= 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // A@<B:-['$before'(A,B)]
        //START inline expansion of $before(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) >= 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        a2 = arg2;
    // A@=<B:-['$not_after'(A,B)]
        //START inline expansion of $not_after(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) > 0) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.