PrologTerm.cpp File Reference

#include <list>
#include <stack>
#include "knowrob/integration/prolog/PrologTerm.h"
#include "knowrob/formulas/Predicate.h"
#include "knowrob/formulas/Negation.h"
#include "knowrob/formulas/Implication.h"
#include "knowrob/Logger.h"
#include "knowrob/terms/ListTerm.h"
#include "knowrob/formulas/Bottom.h"
#include "knowrob/formulas/Top.h"
#include "knowrob/formulas/Conjunction.h"
#include "knowrob/formulas/Disjunction.h"
#include "knowrob/queries/QueryError.h"
#include "knowrob/semweb/ImportHierarchy.h"
#include "knowrob/terms/Numeric.h"
#include "knowrob/terms/String.h"
#include "knowrob/terms/IRIAtom.h"
#include "knowrob/terms/Blank.h"
#include "knowrob/semweb/GraphQuery.h"
#include "knowrob/semweb/GraphSequence.h"

Include dependency graph for PrologTerm.cpp:

Go to the source code of this file.