Dear Ciao Prolog users,
we have just discovered an unfortunate error in the Prolog
compiler which comes with the recently released Ciao Prolog 1.8 patch 0.
Certain types of clauses [1] were compiled incorrectly, leading to
a wrong failure during their execution. This bug is *not* present in
distributions previous to Ciao 1.8. No file in the Ciao Prolog
sources was compiled differently to the previous version, and,
partially because of that, the bug crept in without us noticing. We
sincerely apologize for any problem this may have caused to you. Ciao
Prolog 1.8 patch 1 is already available at
http://clip.dia.fi.upm.es/Software/Ciao.
[1] It is not easy to characterize them, but, for those interested, a
clause as
p(A, B, C, D) :-
C < B,
!,
E = C,
q(A, 0, B, E, D1),
D is - D1.
would be incorrectly compiled to WAM code by Ciao Prolog 1.8 .
--
+--------------------------------------------------------------------------+
|Manuel Carro -- Facultad de Informática -- U. Politécnica de Madrid (UPM) |
| Email: mcarro(a)fi.upm.es --- Ph: +34-91336-7455 --- FAX: +34-91336-7412 |
|
http://lml.ls.fi.upm.es/~boris ---
http://clip.dia.fi.upm.es/Software/Ciao%7C
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages:
http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
