PrologEngine.h File Reference

#include "filesystem"
#include "knowrob/ThreadPool.h"
#include "PrologTerm.h"

Include dependency graph for PrologEngine.h:

Go to the source code of this file.

Classes
class	knowrob::PrologEngine

Namespaces
	knowrob

Macros
#define	PROLOG_ENGINE_EVAL(term)   PrologEngine::eval([&]() { return term; })
#define	PROLOG_ENGINE_ONE_SOL(term)   PrologEngine::oneSolution([&]() { return term; })
#define	PROLOG_ENGINE_ALL_SOL(term)   PrologEngine::allSolutions([&]() { return term; })
#define	PROLOG_ENGINE_QUERY(term, callback)   PrologEngine::query([&]() { return term; }, callback)

Macro Definition Documentation

PROLOG_ENGINE_ALL_SOL

#define PROLOG_ENGINE_ALL_SOL

(

term

)

PrologEngine::allSolutions([&]() { return term; })

Definition at line 130 of file PrologEngine.h.

PROLOG_ENGINE_EVAL

#define PROLOG_ENGINE_EVAL

(

term

)

PrologEngine::eval([&]() { return term; })

Definition at line 128 of file PrologEngine.h.

PROLOG_ENGINE_ONE_SOL

#define PROLOG_ENGINE_ONE_SOL

(

term

)

PrologEngine::oneSolution([&]() { return term; })

Definition at line 129 of file PrologEngine.h.

PROLOG_ENGINE_QUERY

#define PROLOG_ENGINE_QUERY	(		term,
			callback
	)		PrologEngine::query([&]() { return term; }, callback)

Definition at line 131 of file PrologEngine.h.