C# (CSharp) Prolog.Runtime EngineInternals.Solve Exemples

Exemple #1

        public IEnumerable <ISolutionTreeNode> Solve(Compiled.Goal [] goalDefs)
        {
            solution = null;

            if (Start != null)
            {
                Start();
            }

            var engine = new EngineInternals();

            foreach (var @event in engine.Solve(goalDefs))
            {
                @event.Accept(this);

                if (solution != null)
                {
                    yield return(solution.Tree);

                    solution = null;
                }
            }
        }

Exemple #2

Fichier : Engine.cs Projet : carriercomm/prolog

        public IEnumerable <ISolutionTreeNode> Solve (Compiled.Goal [] goalDefs)
        {
            solution = null;

            if (Start != null)
            {
                Start ();
            }

            var engine = new EngineInternals ();

            foreach (var @event in engine.Solve (goalDefs))
            {
                @event.Accept (this);

                if (solution != null)
                {
                    yield return solution.Tree;

                    solution = null;
                }
            }
        }