answer

fun answer(query: String): Promise<Answer>

The statements for query, Prolog text, labelled in, out and und (rejected if the evaluation halts)