• R/O
  • SSH
  • HTTPS

morilibprolog: Commit


Commit MetaInfo

Revision20 (tree)
Time2016-05-04 07:36:44
Authory-moriguchi

Log Message

modify parser

Change Summary

Incremental Difference

--- trunk/prolog/src/net/morilib/predicate/Rule.java (revision 19)
+++ trunk/prolog/src/net/morilib/predicate/Rule.java (revision 20)
@@ -100,6 +100,9 @@
100100 s = new NormalTerm(t.getValue(), r1);
101101 return s;
102102 } else if(t.isVariable()) {
103+// if(mp.get(t) == null) {
104+// mp.put((Variable)t, (Variable)t.newVariable());
105+// }
103106 return mp.get(t);
104107 } else if(t instanceof ConstraintTerm) {
105108 ConstraintTerm f = (ConstraintTerm)t;
--- trunk/prolog/src/net/morilib/predicate/parser/akiha/CLP.java (revision 19)
+++ trunk/prolog/src/net/morilib/predicate/parser/akiha/CLP.java (revision 20)
@@ -2933,6 +2933,9 @@
29332933 Variable var = f.getKey().getVariable1();
29342934 if(var != null && var.getValue().equals(variable)) {
29352935 res1 = true;
2936+ } else {
2937+ res1 = false;
2938+ break;
29362939 }
29372940 }
29382941 }
Show on old repository browser