fix top-level message
This commit is contained in:
parent
5c54ff89a1
commit
75703ed89a
@ -536,7 +536,8 @@ true :- true.
|
||||
% end of YAPOR
|
||||
|
||||
'$query'(G,[]) :-
|
||||
'$prompt_alternatives_on'(groundness), !,
|
||||
'$prompt_alternatives_on'(OPT),
|
||||
( OPT = groundness ; OPT = determinism), !,
|
||||
'$yes_no'(G,(?-)).
|
||||
'$query'(G,V) :-
|
||||
(
|
||||
|
Reference in New Issue
Block a user