[ulrich@gupu docs]$ yap-6 % Restoring file /opt/gupu/yap-6/lib/Yap/startup.yss YAP version Yap-6.0.0 % reconsulting /home/ulrich/.yaprc... % reconsulting /opt/gupu/yap-6/share/Yap/timeout.yap... % reconsulting /opt/gupu/yap-6/share/Yap/hacks.yap... % reconsulted /opt/gupu/yap-6/share/Yap/hacks.yap in module yap_hacks, 0 msec 4080 bytes % reconsulted /opt/gupu/yap-6/share/Yap/timeout.yap in module timeout, 0 msec 7104 bytes % reconsulting /opt/gupu/yap-6/share/Yap/clpfd.pl... % reconsulted /opt/gupu/yap-6/share/Yap/clpfd.pl in module clpfd, 390 msec 816728 bytes % reconsulting /home/ulrich/ftp/yap-prolog/library/pio.pl... % reconsulted /home/ulrich/ftp/yap-prolog/library/pio.pl in module pio, 10 msec 23048 bytes % reconsulting /home/ulrich/ftp/yap-prolog/library/item80.pl... % reconsulted /home/ulrich/ftp/yap-prolog/library/item80.pl in module user, 0 msec 7784 bytes % reconsulting /home/ulrich/ftp/yap-prolog/library/timeout_granularity.pl... % Warning: (/home/ulrich/ftp/yap-prolog/library/timeout_granularity.pl:15). % Singleton variable I in user:run/0, clause 1. % reconsulted /home/ulrich/ftp/yap-prolog/library/timeout_granularity.pl in module user, 0 msec 6216 bytes % reconsulted /home/ulrich/.yaprc in module user, 410 msec 892168 bytes ?- G_ms=20000000, between(80, inf,Len), length(Xs,Len), statistics(cputime,_),time_out(phrase_from_file(dblseq(Xs),'yap.tex'),G_ms,R), statistics(cputime,[_,CPU_ms]), atom_codes(Atom,Xs), writeq([R,Len,CPU_ms,Atom]),nl,fail. call:swi_open('yap.tex',read,A). exit:_. ERROR!! EXISTENCE ERROR- procedure dblseq/3 is undefined, called from context prolog:$safe_call_cleanup/4 Goal was user:dblseq([_1253,_1255,_1257,_1259,_1261,_1263,_1265,_1267,_1269,_1271,_1273,_1275,_1277,_1279,_1281,_1283,_1285,_1287,_1289,_1291,_1293,_1295,_1297,_1299,_1301,_1303,_1305,_1307,_1309,_1311,_1313,_1315,_1317,_1319,_1321,_1323,_1325,_1327,_1329,_1331,_1333,_1335,_1337,_1339,_1341,_1343,_1345,_1347,_1349,_1351,_1353,_1355,_1357,_1359,_1361,_1363,_1365,_1367,_1369,_1371,_1373,_1375,_1377,_1379,_1381,_1383,_1385,_1387,_1389,_1391,_1393,_1395,_1397,_1399,_1401,_1403,_1405,_1407,_1409,_1411],_D4,[]) ?- [user]. | dblseq(Xs) --> ..., seq(Xs), ..., seq(Xs), ... . | freeze(_A,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_A)), freeze(_B,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_B)), freeze(_C,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_C)), freeze(_D,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_D)), freeze(_E,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_E)) ? yes ?- | | | true. freeze(_A,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_A)), freeze(_B,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_B)), freeze(_C,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_C)), freeze(_D,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_D)), freeze(_E,pio:step(pio:swi_read_pending_input,'$stream'(135613368),'$stream_position'(0,1,0,0),_E)) ?