Package PrologPlusCG.cg

Examples of PrologPlusCG.cg.CG.addConcept()

1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
          // Make a CG out of the concept.
          // This is because env.unification.unifier does not do the
          // special variable-substitution magic on uConcept.
          CG gTmp = new CG();
          gTmp.addConcept(concCour);

          // Inverser les arg de unifier comme pour la primitive "eq"
          resultat = env.unification
              .unify(new PrologData(uCG, gTmp), Arg2.index,
                  pTermRes.pTerm.getAt(1), pTermRes.index);
View Full Code Here
3412
3413
3414
3415
3416
3417
3418
3419
3420
3421
3422
          // Make a CG out of the concept.
          // This is because env.unification.unifier does not do the
          // special variable-substitution magic on uConcept.
          CG gTmp = new CG();
          gTmp.addConcept(concCour);

          // Inverser les arg de unifier comme pour la primitive "eq"
          resultat = env.unification
              .unify(new PrologData(uCG, gTmp), Arg2.index,
                  pTermRes.pTerm.getAt(1), pTermRes.index);
View Full Code Here
333
334
335
336
337
338
339
340
341
342
343
      break;
     
      case uConcept: {
        if (valueIndexRight.pData.typeOfData == uCG) {
          CG gTmp = new CG();
          gTmp.addConcept((Concept) pData1Left);
          bUnifyCurCG = true;
         
          UnifyCG uneUnifCG = new UnifyCG(env);
         
          try {
View Full Code Here
363
364
365
366
367
368
369
370
371
372
373
      break;
     
      case uCG: {
        if (valueIndexRight.pData.typeOfData == uConcept) {
          CG gTmp = new CG();
          gTmp.addConcept((Concept) pData1Right);
          bUnifyCurCG = true;
         
          UnifyCG uneUnifCG = new UnifyCG(env);
         
          try {
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.