: a Sample Run

629.dao % sicstus
SICStus 2.1 #8: Mon Aug 30 15:43:08 MET DST 1993
| ?- compile(leantest).
{compiling /home/emmy/posegga/tmp/leantest.pl...}
{compiling /home/emmy/posegga/tmp/leantap.pl...}
{loading /tools/sicstus2.1/library/lists.ql...}
{loaded /tools/sicstus2.1/library/lists.ql in module lists, 60 msec 31888 bytes}
{compiling /home/emmy/posegga/tmp/unify.pl...}
{compiled /home/emmy/posegga/tmp/unify.pl in module unify, 230 msec 11056 bytes}
{compiled /home/emmy/posegga/tmp/leantap.pl in module leantap, 630 msec 55360 bytes}
{compiling /home/emmy/posegga/tmp/nnf.pl...}
{compiled /home/emmy/posegga/tmp/nnf.pl in module nnf, 190 msec 9680 bytes}
{compiled /home/emmy/posegga/tmp/leantest.pl in module leantest, 1820 msec 101040 bytes}

yes
| ?- provefml(pel28).
pel28 proved in 0 msec, VarLim = 3 

yes
| ?- incprovefml(pel28).
pel28  proved in 10 msec, found VarLim = 3 

yes
| ?- uv_provefml(pel28).
pel28 proved in 10 msec, VarLim = 3 

yes
| ?- uv_incprovefml(pel28).
pel28  proved in 9 msec, found VarLim = 3 

yes
| ?- uv_provefml(X),fail.
pel1 proved in 0 msec, VarLim = 0 
pel2 proved in 0 msec, VarLim = 0 
pel3 proved in 0 msec, VarLim = 0 
pel4 proved in 0 msec, VarLim = 0 
pel5 proved in 0 msec, VarLim = 0 
pel6 proved in 0 msec, VarLim = 0 
pel7 proved in 0 msec, VarLim = 0 
pel8 proved in 10 msec, VarLim = 0 
pel9 proved in 0 msec, VarLim = 0 
pel10 proved in 0 msec, VarLim = 0 
pel11 proved in 0 msec, VarLim = 0 
pel12 proved in 10 msec, VarLim = 0 
pel13 proved in 0 msec, VarLim = 0 
pel14 proved in 0 msec, VarLim = 0 
pel15 proved in 0 msec, VarLim = 0 
pel16 proved in 0 msec, VarLim = 0 
pel17 proved in 0 msec, VarLim = 0 
pel18 proved in 0 msec, VarLim = 2 
pel19 proved in 0 msec, VarLim = 2 
pel20 proved in 9 msec, VarLim = 6 
pel21 proved in 0 msec, VarLim = 2 
pel22 proved in 0 msec, VarLim = 2 
pel23 proved in 0 msec, VarLim = 1 
pel24 proved in 30 msec, VarLim = 6 
pel25 proved in 0 msec, VarLim = 3 
pel26 proved in 10 msec, VarLim = 3 
pel27 proved in 9 msec, VarLim = 4 
pel28 proved in 10 msec, VarLim = 3 
pel29 proved in 9 msec, VarLim = 2 
pel30 proved in 10 msec, VarLim = 2 
pel31 proved in 9 msec, VarLim = 3 
pel32 proved in 10 msec, VarLim = 3 
pel33 proved in 9 msec, VarLim = 1 
pel34 proved in 109 msec, VarLim = 5 
pel35 proved in 0 msec, VarLim = 4 
pel36 proved in 0 msec, VarLim = 6 
pel37 proved in 20 msec, VarLim = 7 
pel38 proved in 339 msec, VarLim = 4 
pel39 proved in 10 msec, VarLim = 1 
pel40 proved in 9 msec, VarLim = 3 
pel41 proved in 0 msec, VarLim = 3 
pel42 proved in 10 msec, VarLim = 3 
pel43 proved in 109 msec, VarLim = 5 
pel44 proved in 10 msec, VarLim = 3 
pel45 proved in 40 msec, VarLim = 5 
pel46 proved in 100 msec, VarLim = 5 

no
| ?-