Re: [PPL-devel] [Xsb-development] Arithmetic evaluation bug in the CVS HEAD version of XSB

23 Sep 2007


      Perhaps a better workaround is
:- import eval/2 from eval.
bug2(Term, N) :- eval(Term,N).
Interestingly, the problem occurs only with compiled rules.
If one asserts the same rule
?- assert((bug(Term, N) :- N is Term)).
then it works right.
--michael
...
--===============1739232661==
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1">
  <title></title>
</head>
<body text="#000000" bgcolor="#ffffff">
As I'm sure you know, the is/2 predicate is nonlogical.&nbsp;&nbsp; This
difference is also in previous versions of XSB.&nbsp; In this instance,
there is a simple alternate:<br>
<br>
[broome@localhost bin]$ ./xsb-bits64<br>
[xsb_configuration loaded]<br>
[sysinitrc loaded]<br>
<br>
XSB Version 3.1 (Incognito) of August 10, 2007<br>
[x86_64-unknown-linux-gnu; mode: optimal; engine: slg-wam; gc:
indirection; scheduling: local]<br>
<br>
| ?- [user].<br>
[Compiling user]<br>
side_step_term_as_arithmetic_argument_bug(Term,N) :-<br>
&nbsp; call(N is Term).<br>
end_of_file.<br>
[user compiled, cpu time used: 0.0090 seconds]<br>
[user loaded]<br>
<br>
| ?- side_step_term_as_arithmetic_argument_bug(1+1+1,N).<br>
<br>
N = 3;<br>
<br>
no<br>
| ?-<br>
End XSB (cputime 0.02 secs, elapsetime 74.23 secs)<br>
<br>
<br>
I hope this helps.<br>
<br>
Paul<br>
<br>
<a class="moz-txt-link-freetext" href="http://www.duologues.net">http://www.duologues.net</a><br>
<br>
<br>
Roberto wrote the following:<br>
<blockquote type="cite">
  <div class="moz-text-plain" wrap="true" graphical-quote="true"
 style="font-family: -moz-fixed; font-size: 12px;" lang="x-western">
  <pre wrap="">$ cat bug.P
bug(Term, N) :-
   N is Term.
[roberto@zoltan tmp]$
$ xsb
[xsb_configuration loaded]
[sysinitrc loaded]
XSB Version 3.1 (Incognito) of August 10, 2007
[x86_64-unknown-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local]
| ?- ['bug.P'].
[Compiling ./bug]
[bug compiled, cpu time used: 0.0080 seconds]
[bug loaded]
yes
| ?- bug(1+1+1, Y).
Y = 1 + 1 + 1
yes
| ?-
End XSB (cputime 0.02 secs, elapsetime 365.32 secs)
<div class="moz-txt-sig">-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
<a class="moz-txt-link-freetext"
 href="http://www.cs.unipr.it/%7Ebagnara/">http://www.cs.unipr.it/~bagnara/</a>
<a class="moz-txt-link-freetext" href="mailto:bagnara@cs.unipr.it">mailto:bagnara@cs.unipr.it</a>

This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
<a class="moz-txt-link-freetext"
 href="http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/">http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/</a>
_______________________________________________</div></pre>
  </div>
</blockquote>
<blockquote type="cite">
  <div class="moz-text-plain" wrap="true" graphical-quote="true"
 style="font-family: -moz-fixed; font-size: 12px;" lang="x-western">
  <pre wrap=""><div class="moz-txt-sig">
Xsb-development mailing list
<a class="moz-txt-link-abbreviated"
 href="mailto:Xsb-development@lists.sourceforge.net">Xsb-development@lists.sourceforge.net</a>
<a class="moz-txt-link-freetext"
 href="https://lists.sourceforge.net/lists/listinfo/xsb-development">https://lists.sourceforge.net/lists/listinfo/xsb-development</a>
</div></pre>
  </div>
</blockquote>
<br>
</body>
</html>
--===============1739232661==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
--===============1739232661==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Xsb-development mailing list
Xsb-development@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/xsb-development
--===============1739232661==--

kifer＠cs.sunysb.edu

tags (0)

participants (1)