:Goal, -Engine, +Options)Create a new engine and unify Engine with a handle to it.
Template and Goal form a pair similar to findall/3:
the instantiation of Template becomes available through engine_next/2
after Goal succeeds. Options is a list of the
following options. See thread_create/3
The Engine argument of engine_create/3
may be instantiated to an atom, creating an engine with the given alias.
- Give the engine a name. Name must be an atom. If this option
is provided, Engine is unified with Name. The name
space for engines is shared with threads and mutexes.
- Set the stack limit for the engine. The default is inherited from the