[eclipse 12]: [user]. f :- call_priority((call_priority(writeln(lower),10),writeln(higher)), 5). Segmentation fault and Version 5.1.0, Thu Jan 11 19:49 2001 [eclipse 1]: [user]. f :- call_priority((call_priority(false,11) -> writeln(thenbranch) ; writeln(elsebranch)), 10) . Segmentation faultReceived on Thu Feb 22 15:36:47 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:04 PM GMT GMT