Package stanfordlogic.prover

Examples of stanfordlogic.prover.Fact

57
58
59
60
61
62
63
64
65
   
    protected Fact makeQuery(String ... args)
    {
        GdlList list = GdlList.buildFromWords(symbolTable_, args);
      
        Fact query = VariableFact.fromList(list);
           
        return query;
    }
View Full Code Here
76
77
78
79
80
81
82
83
     * @return a list of facts answering the input query
     * @see camembert.knowledge.reasoner.getAllAnswers
     */
    protected List<GroundFact> getAllAnswers(ProofContext context, String ... args)
    {
        Fact question = makeQuery(args);
        return reasoner_.getAllAnswers(question, context);
    }
View Full Code Here
82
83
84
85
86
87
88
89
        return reasoner_.getAllAnswers(question, context);
    }
   
    protected Iterable<GroundFact> getAllAnswersIterable(ProofContext context, String ... args)
    {
        Fact question = makeQuery(args);
        return reasoner_.getAllAnswersIterable(question, context);
    }
View Full Code Here
100
101
102
103
104
105
106
107
     * @return a fact answering the input query
     * @see camembert.knowledge.reasoner.getAnAnswer
     */
    protected GroundFact getAnAnswer(ProofContext context, String ... args)
    {
        Fact question = makeQuery(args);
        return reasoner_.getAnAnswer(question, context);
    }
View Full Code Here
TOP

Related Classes of stanfordlogic.prover.Fact

  • stanfordlogic.game.ReasoningEntity
  • stanfordlogic.knowledge.MetaGdl
  • stanfordlogic.test.prover.TestFacts
  • stanfordlogic.test.prover.TestProver
  • stanfordlogic.test.prover.TestSubstitution
  • stanfordlogic.test.prover.TestUnifier
    • Copyright © 2018 www.massapicom. 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.