built-in predicate
threaded_engine/1
ï
Descriptionï
threaded_engine(Engine)
Enumerates, by backtracking, all existing engines. Engine names shall be regarded as opaque terms; users shall not rely on its type.
Note
This predicate requires a backend Prolog compiler providing
compatible multi-threading primitives. The value of the read-only
engines flag is set to supported
when that
is the case.
Modes and number of proofsï
threaded_engine(?nonvar) - zero_or_more
Errorsï
(none)
Examplesï
% check that the worker_1 engine exists:
| ?- threaded_engine(worker_1).
% write the names of all existing engines:
| ?- forall(
threaded_engine(Engine),
(writeq(Engine), nl)
).