Examples of net.sf.kpex.builtins.AnswerSource

net.sf.kpex.builtins.AnswerSource
When called as answer_source(X,G,R), it builds a new clause and maps it to an AnswerSource LD-resolution interpreter which will return one answer at a time of the form "the(X)" using G as initial resolvent and "no" when no more answers are available.

    register(new CharsToName());
    register(new NumberVars());


    // fluent constructors
    register(new UnfolderSource());
    register(new AnswerSource());


    register(new SourceList());
    register(new ListSource());


    register(new TermSource());

View Full Code Here

TOP

Related Classes of net.sf.kpex.builtins.AnswerSource

net.sf.kpex.Builtins

net.sf.kpex.prolog.Clause

net.sf.kpex.prolog.Prog

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.