-
...it can divide by zero!
tuProlog 2.1.1 - DEIS, Università di Bologna a Cesena
Thu Nov 05 15:49:33 GMT 2009
?- X is 7 / 0.
X / 9223372036854775807
yes.
Please fix before it roundkicks us all.
2009-11-05 15:50:18 UTC in tuProlog (2P)
-
Given the following theory:
insect(ant).
insect(bee).
the goal:
?- retract(insect(I)), write(I), retract(insect(bee)), fail.
just outputs "ant" instead of "antbee".
2009-11-05 15:47:37 UTC in tuProlog (2P)
-
If you ask tuProlog to solve the following goal:
?- Y = (write(3), nl, 3), call(Y).
you get "no." as an answer, rightly so because 3 is not callable (or, in ISO parlance, the term 3 cannot be converted to a goal).
However, if you use an "intermediate" variable to "store" (really, bind) the term 3, you get a different result:
?- X = 3, Y = (write(X), nl, X), call(Y).
3
no.
That...
2009-11-05 15:43:36 UTC in tuProlog (2P)
-
I have tested the latest DocBook snapshot against my current project, and it works as expected. I am closing the issue now, thanks for the promptly inclusion of the patch.
2009-07-26 17:58:49 UTC in DocBook
-
Raising priority because I believe this is quite a showstopper bug in the Italian translation.
2009-06-27 12:45:52 UTC in DocBook
-
The current translation for the text in section xrefs makes it impossible to use complex prepositions (in Italian, "preposizioni articolate") in front of the link to the section.
While in English such references are written e.g. "in the section called", the Italian language merges the simple preposition and the article into a complex preposition, so that the example expression becomes "nella...
2009-06-27 12:44:08 UTC in DocBook
-
gpiancastelli added the 2p-2.1.1.zip file.
2008-12-23 05:32:46 UTC in tuProlog (2P)
-
gpiancastelli created the tuProlog 2.1.1 file release.
2008-12-23 05:27:28 UTC in tuProlog (2P)
-
Not a bug. Please use the tuprolog-users mailing list to discuss such issues and get advice about them.
2008-12-05 13:11:37 UTC in tuProlog (2P)
-
@nobody: the fix is contained in the DCGLibrary.java file attached to this bug report. The "Attached Files" section is just below the comments, with a proper link for download. Hope this helps.
2008-12-02 14:02:46 UTC in tuProlog (2P)
