SICStus 4.1.3 (x86-linux-glibc2.3): Wed Sep 22 21:20:41 CEST 2010 Licensed to BUTE SZIT pnp | ?- yes % source_info | ?- compile(mmind). % compiling /home/szeredi/Downloads/mmind.pl... % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/clpfd.po... % module clpfd imported into user % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/atts.po... % module attributes imported into clpfd % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/types.po... % module types imported into attributes % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/types.po in module types, 0 msec 536 bytes % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/atts.po in module attributes, 0 msec 11928 bytes % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/avl.po... % module avl imported into clpfd % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/avl.po in module avl, 0 msec 19120 bytes % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/lists.po... % module lists imported into clpfd % module types imported into lists % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/lists.po in module lists, 10 msec 42704 bytes % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/ordsets.po... % module ordsets imported into clpfd % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/ordsets.po in module ordsets, 0 msec 14384 bytes % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/trees.po... % module trees imported into clpfd % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/trees.po in module trees, 0 msec 4040 bytes % module types imported into clpfd % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/samsort.po... % module samsort imported into clpfd % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/samsort.po in module samsort, 10 msec 8432 bytes % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/timeout.po... % module timeout imported into clpfd % module types imported into timeout % loading foreign resource /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/x86-linux-glibc2.3/timeout.so in module timeout % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/timeout.po in module timeout, 0 msec 5848 bytes % loading foreign resource /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/x86-linux-glibc2.3/clpfd.so in module clpfd % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/clpfd.po in module clpfd, 40 msec 731720 bytes % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/fdbg.po... % module fdbg imported into user % module clpfd imported into fdbg % module lists imported into fdbg % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/sockets.po... % module sockets imported into fdbg % module types imported into sockets % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/sockets.po in module sockets, 0 msec 11352 bytes % loading /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/codesio.po... % module codesio imported into fdbg % module types imported into codesio % loading foreign resource /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/x86-linux-glibc2.3/codesio.so in module codesio % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/codesio.po in module codesio, 0 msec 6280 bytes % module avl imported into fdbg % module types imported into fdbg % module attributes imported into fdbg % loaded /usr/local/sicstus4.1.3/bin/sp-4.1.3/sicstus-4.1.3/library/fdbg.po in module fdbg, 10 msec 73896 bytes % module lists imported into user * [L] - singleton variables * Approximate lines: 21-25, file: '/home/szeredi/Downloads/mmind.pl' * [CodeRestLen] - singleton variables * Approximate lines: 63-76, file: '/home/szeredi/Downloads/mmind.pl' % compiled /home/szeredi/Downloads/mmind.pl in module user, 70 msec 819968 bytes yes % source_info | ?- spy clpfd:dispatch_global. % The debugger will first zip -- showing spypoints (zip) % Plain spypoint for clpfd:dispatch_global/4 added, BID=1 yes % zip,source_info | ?- mmind(8,[[3,2,2,1,2,6]-0/2,[1,7,5,7,6,2]-2/2,[5,7,3,2,8,2]-1/2,[8,8,1,2,6,6]-1/3],[2,7,6,A,B,C]). + 1 1 Call: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,_1788,_1821,_1854]),void,_3120,_3121) ? l + 1 1 Exit: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,_1788,_1821,_1854]),void,[3,2,1,2]-([_1788,_1821,_1854]-0),[]) ? l + 79 5 Call: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,_1788,_1821,_1854]),void,_6435,_6436) ? l + 79 5 Exit: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,_1788,_1821,_1854]),void,[1,5,7]-([_1788,_1821,_1854]-1),[]) ? l + 148 15 Call: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,_1788,_1821,_1854]),[1,5,7]-([_1788,_1821,_1854]-1),_9799,_9800) ? l + 148 15 Exit: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,_1788,_1821,_1854]),[1,5,7]-([_1788,_1821,_1854]-1),[1,5,7]-([_1788,_1821,_1854]-1),[]) ? l + 169 15 Call: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,_1788,_1821,_1854]),[3,2,1,2]-([_1788,_1821,_1854]-0),_10995,_10996) ? l + 169 15 Exit: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,_1788,_1821,_1854]),[3,2,1,2]-([_1788,_1821,_1854]-0),[3,2,1,2]-([_1788,_1821,_1854]-0),[]) ? l + 201 6 Call: clpfd:dispatch_global(colors([5,7,3,2,8,2],1/2,[2,7,6,_1788,_1821,_1854]),void,_12467,_12468) ? l + 201 6 Exit: clpfd:dispatch_global(colors([5,7,3,2,8,2],1/2,[2,7,6,_1788,_1821,_1854]),void,[5,3,8,2]-([_1788,_1821,_1854]-1),[]) ? l + 265 14 Call: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,_1788,6,_1854]),[3,2,1,2]-([_1788,6,_1854]-0),_15498,_15499) ? l + 265 14 Exit: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,6,6,_1854]),[3,2,1,2]-([6,6,_1854]-0),[3,2,1,2]-([6,_1854]-0),[]) ? l + 283 14 Call: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,6,6,_1854]),[1,5,7]-([6,6,_1854]-1),_16722,_16723) ? l + 283 14 Exit: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,6,6,_1854]),[1,5,7]-([6,6,_1854]-1),[1,5,7]-([_1854]-1),[_1854 in_set[[1|1],[5|5],[7|7]]]) ? l + 302 14 Call: clpfd:dispatch_global(colors([5,7,3,2,8,2],1/2,[2,7,6,6,6,_1854]),[5,3,8,2]-([6,6,_1854]-1),_18104,_18105) ? l + 302 14 Exit: clpfd:dispatch_global(colors([5,7,3,2,8,2],1/2,[2,7,6,6,6,_1854]),[5,3,8,2]-([6,6,_1854]-1),[5,3,8,2]-([_1854]-1),[_1854 in_set[[2|3],[5|5],[8|8]]]) ? l + 321 14 Call: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,6,6,5]),[1,5,7]-([5]-1),_19478,_19479) ? l + 321 14 Exit: clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,6,6,5]),[1,5,7]-([5]-1),[1,7]-([]-0),[exit]) ? l + 328 14 Call: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,6,6,5]),[3,2,1,2]-([6,5]-0),_20686,_20687) ? l + 328 14 Exit: clpfd:dispatch_global(colors([3,2,2,1,2,6],0/2,[2,7,6,6,6,5]),[3,2,1,2]-([6,5]-0),[3,2,1,2]-([]-0),[exit]) ? l + 348 7 Call: clpfd:dispatch_global(colors([8,8,1,2,6,6],1/3,[2,7,6,6,6,5]),void,_22141,_22142) ? l + 348 7 Exit: clpfd:dispatch_global(colors([8,8,1,2,6,6],1/3,[2,7,6,6,6,5]),void,[8,8,1]-([]-1),[fail]) ? l no % zip,source_info | ?-