:- phrase(list(Es), Xs0,Xs). :- phrase(list(Es), Es,Es). @@ % Es = []. @@ ! Ausführung dauert zu lang, Antwort unvollständig list([]) --> []. list([E|Es]) --> [E], list(Es). ----- n599 ------------------------... and timeouts are reported. Similar to the case when we interrupt the sequence of answer substitutions, the system insists that the answer is incomplete.
@@
-lines press