What steps will reproduce the problem?
1. ../jdk1.7.0_25/bin/java -jar ../tuProlog/bin/2p.jar
2. in the "untitled" panel, type:
testf :- functor(F, testf, 1).
3. in the "?-" panel, type:
testf.
then hit enter key
4. very bottom of IDE window shows: "Yes. Other alternatives can be explored.",
and "next" button is active.
5. click "next"
6. tuProlog hangs, with "stop" button enabled.
What is the expected output? What do you see instead?
expected just: "Yes. Ready." at bottom of IDE window.
got: "Yes. Other alternatives can be explored."
What version of the product are you using? On what operating system?
We are on a J2SE 1.7.x plaftorm
tuProlog system - release 2.7
expanded from: 2p-2.7.2.zip
Ubuntu 13.04
AMD E-350 Processor × 2 -- 64 bit
Please provide any additional information below.
following functor/3 with a cut might be a work around.
SWI does not leave a choice point for functor/3.
functor(F, testf, 0). works as expected.
Original issue reported on code.google.com by NFinst...@gmail.com on 9 Sep 2013 at 3:14
Original issue reported on code.google.com by
NFinst...@gmail.com
on 9 Sep 2013 at 3:14