logicProgramming

Entry point of the Prolog term-construction DSL: runs function with a fresh, empty LogicProgrammingScope as its receiver, and returns whatever function returns. This is the idiomatic way of building it.unibo.tuprolog.core.Terms, it.unibo.tuprolog.core.Clauses and the like through the DSL, instead of instantiating a LogicProgrammingScope by hand:

val term = logicProgramming { "parent"("abraham", "isaac") } // Struct: parent(abraham, isaac)