extensions

This commit is contained in:
Vitor Santos Costa
2018-03-02 21:18:24 +00:00
parent 3a36285bb2
commit 31fd3eb344
33 changed files with 540 additions and 553 deletions

View File

@@ -469,7 +469,7 @@ be lost.
Border < GoalNumber,
( Spy == ignore ; '$pred_being_spied'(G, M) )
),
writeln(go:G:M),
%writeln(go:G:M),
!,
'$execute_nonstop'(G,M).
'$trace_goal'(G, M, GoalNumber, H) :-