Ejemplo n.º 1
0
        public override object Execute(Reasoner reasoner, Unifier un, ITerm[] args)
        {
            CheckArguments(args);

            Agent ag  = reasoner.GetAgent();
            Pred  inc = new Pred(ns, "include");

            inc.AddTerms(args);

            //-Cosas Java???
            //-Sí Peterrr, cÓsas Naz* ¡digo! cÓsas Java
            Agent result = ((Include)DirectiveProcessor.GetDirective("include")).Process(inc, ag, null);

            ag.ImportComponents(result);
            ag.AddInitialBelsInBB();
            ag.AddInitialDesiresInReasoner();

            if (args.Length > 1 && args[1].IsVar())
            {
                return(un.Unifies(args[1], inc.GetTerm(1)));
            }
            else
            {
                return(true);
            }
        }