- 1.2.
SWI/PROLOG : [2] [3], .
debug. nodebug [4].
 |
. (Spy points) Debug -> Edit spy points -> Predicate, . . , , , . (Spy points) . (Trace points) . , , Predicate, . .
. ( ). .
| trace | . , . |
| tracing | , . |
| notrace | . |
| guitracer, gtrace | . (spy-point). |
| noguitracer | . |
| trace(Pred) | Pred ( Pred). |
| trace(Pred,Ports) | Pred ( ) Ports. : 1. fail Pred; 2. call Pred; 3. redo Pred; 4. exit Pred. Ports () . , ?- trace(foo/2, +fail), trace(foo/2, [+call,-fail]). foo/2 fail. +, -. , all. : trace(foo/2, +all). |
| debug | . , , . |
| nodebug | . |
| debugging | |
| spy(Pred) | , Pred. |
| nospy(Pred) | , Pred. |
| nospyall | . |
. ( , ).
|
|
|
?-(X,),(X,).
, . , ;. :
, , , . . , , . ( ) ( ). . , .
