solve

fun solve(goal: String): Solutions

The solutions of goal, Prolog text, given one at a time as they are asked for (the first one computed at once)

Throws

for a goal that cannot be read