PrologReasoner.cpp File Reference

#include <memory>
#include <filesystem>
#include "knowrob/Logger.h"
#include "knowrob/reasoner/ReasonerManager.h"
#include "knowrob/reasoner/prolog/PrologReasoner.h"
#include "knowrob/reasoner/prolog/semweb.h"
#include "knowrob/terms/ListTerm.h"
#include "knowrob/formulas/Bottom.h"
#include "knowrob/queries/TokenQueue.h"
#include "knowrob/semweb/PrefixRegistry.h"
#include "knowrob/semweb/ImportHierarchy.h"
#include "knowrob/KnowledgeBase.h"
#include "knowrob/integration/prolog/PrologBackend.h"
#include "knowrob/reasoner/ReasonerError.h"
#include "knowrob/queries/AnswerNo.h"
#include "knowrob/terms/Numeric.h"
#include "knowrob/TimePoint.h"

Include dependency graph for PrologReasoner.cpp:

Go to the source code of this file.

Namespaces
	knowrob
	knowrob::prolog

Macros
#define	PROLOG_REASONER_EVAL(goal)   PROLOG_ENGINE_EVAL(getReasonerQuery(goal))

Macro Definition Documentation

PROLOG_REASONER_EVAL

#define PROLOG_REASONER_EVAL

(

goal

)

PROLOG_ENGINE_EVAL(getReasonerQuery(goal))

Definition at line 30 of file PrologReasoner.cpp.