bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

GNU Prolog (small bug)


From: STREBELLE Alain
Subject: GNU Prolog (small bug)
Date: Thu, 20 Mar 2003 15:30:07 +0100
User-agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0

Daniel,

Thank you for the very high quality of GNU Prolog (and of the documentation).

I am just starting migrating a program I had developped on LPA Prolog several years ago, so I have not gone very far yet. However, I am encountering the following small bug in the math processing, probably linked to precision handling :

Normal behaviour (extract from trace) :

32 14 Exit: 0.50500011444091797 is abs(float_fractional_part(755934729.50500011)) ?

Abnormal behaviour :

35 15 Exit: 5411863648.0500011 is abs(float_fractional_part(7559347295.0500011)) ?

!!!

My system is a Mac OS X 10.2.4. You will find below an extract of my system profile.

I am using GNU Prolog 1.2.16, compiled on my system, using defaults from .configure.

Txs & BRs

Alain Strebelle
Systems Architect
SWIFT
Avenue Adèle, 1
B-1310 La Hulpe
BELGIUM
Tel: +32 2 655 36 43
Fax: +32 2 655 33 45
eMail: address@hidden


---------------------------------------------------
System Profile
---------------------------------------------------
Software Overview:      

+----------------------------------------------------------------------+
| | | System version : Mac OS X 10.2.4 (6I32) | | Boot volume : ASTHD3 | | Kernel version : Darwin Kernel Version 6.4: Wed Jan 29 18:50:42 PST 2003; root:xnu/xnu-344.26.obj~1/RELEASE_PPC | | User name : STREBELLE Alain (astrebel) | | |

+----------------------------------------------------------------------+
Hardware Overview:      

+----------------------------------------------------------------------+
| | | Machine speed : 800 MHz | | Bus speed : 133 MHz | | Number of processors : 2 | | L2 cache size : 256K (times 2) | | L3 cache size : 2MB (times 2) | | Machine model : Power Mac G4 (version = 2.1) | | Boot ROM info : 4.2.5f1 | | Customer serial number : CK140H15-L50-ff11 | | Sales order number : Not available | | |

+----------------------------------------------------------------------+
Memory Overview:        
    Location    Type    Size
    DIMM0/J21   SDRAM   256 MB
    DIMM1/J22   SDRAM   256 MB
    DIMM2/J23           empty





reply via email to

[Prev in Thread] Current Thread [Next in Thread]