Package org.ggp.base.util.prover.aima.substitution

Examples of org.ggp.base.util.prover.aima.substitution.Substitution.compose()

253
254
255
256
257
258
259
260
261
262
263
                {
                    Substitution thetaPrime = Unifier.unify(sentence, instantiation.getHead());
                    if ( thetaPrime!=null )
                    {
                        Substitution thetaCopy = theta.copy();
                        thetaCopy = thetaCopy.compose(thetaPrime);

                        instantiate(template, index + 1, thetaCopy, results);
                    }
                }
            }
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.