Open leuschel opened 1 year ago
When doing a query like ?-when(nonvar(X),X=1). there is no feedback that the query has floundered and that there is a pending goal.
?-when(nonvar(X),X=1).
leuschel
commented
1 year ago 
leuschel
commented
1 year ago
When doing a query like
?-when(nonvar(X),X=1).there is no feedback that the query has floundered and that there is a pending goal.