C# (CSharp) JJC.Psharp.Predicates dollar_call_1 Exemples

Exemple #1

Fichier : Available_ Indexs_1.cs Projet : prosardar/BAD

        public override Predicate exec( Prolog engine )
        {
            engine.setB0();
            Term a1, a2, a3;
            Predicate p1;
            a1 = arg1.Dereference();

            Term[] h2 = {a1};
            a2 = new StructureTerm(f1, h2);
            a3 = engine.makeVariable();
            p1 = new Predicates.dollar_call_1(a3, cont);
            return new Predicates.Clause_2(a2, a3, p1);
        }

Exemple #2

Fichier : Es_ Trofeo_1.cs Projet : DiMiGi/integracion-C-C--Prolog-Scheme

        public override Predicate exec(Prolog engine)
        {
            engine.setB0();
            Term      a1, a2, a3;
            Predicate p1;

            a1 = arg1.Dereference();

            Term[] h2 = { a1 };
            a2 = new StructureTerm(f1, h2);
            a3 = engine.makeVariable();
            p1 = new Predicates.dollar_call_1(a3, cont);
            return(new Predicates.Clause_2(a2, a3, p1));
        }