toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.projection.prolog
/
PrologEngine
/
Companion
/
fromTheory
from
Theory
fun
fromTheory
(
theory
:
String
)
:
PrologEngine
Create an engine from a theory string.
Return
A new PrologEngine
Parameters
theory
Prolog theory as a string