| ?- [msr]. | ?- [fullnsl]. | ?- ptime(go). Step1 ................................ Step2 ..................................... Step3 ............................................................................... Step4 ................................................................................ ................................................................................ ....................................... Step5 ................................................................................ ................................................................................ ................................................................................ ................................................................................ .......... Step6 ......... Step7 -------------------------------------------------------- The fixpoint has been reached! Search for the initial configuration using :-ls. Execution time 231.4 yes | ?- init(K,L). no