Hi,
is there any new about CIAO compiling to C code?, I've been looking for a solution to the problem of portability and it seems that this topic is not resolved yet.
Nico.
___________________________________ ¡Llevate a Yahoo! en tu Unifón! Ahora podés usar Yahoo! Messenger en tu Unifón, en cualquier momento y lugar. Encontrá más información en: http://ar.mobile.yahoo.com/sms.html
============================================================================== 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/ -----------------------------------------------------------------------------
is there any new about CIAO compiling to C code?, I've been looking for a solution to the problem of portability and it seems that this topic is not resolved yet.
There is a version of the compiler that compiles into quite optimized C code, but it is still in development. It is expected to make it into one of the upcoming releases. However, if you are worried about portability, note that a Ciao '-s' executable is as portable as it gets: it runs in any architecture, provided there is a 'ciaoengine' in sight.Are you referring to another kind of portability?
The Ciao Team
P.S. See the following paper (downloadable as http://www.cliplab.org/papers/morales04:p-to-c-padl.pdf ) for some details:
@InProceedings{morales04:p-to-c-padl, author = {J.~Morales and M.~Carro and M.~Hermenegildo}, title = {{I}mproving the {C}ompilation of {P}rolog to {C} {U}sing {M}oded {T}ypes and {D}eterminism {I}nformation}, booktitle = {Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages}, year = 2004, month = {June}, pages = {86-103}, address = {Dallas (Texas)}, volume = {3507} }
-
ciao＠clip.dia.fi.upm.es -
Nicolás Rotstein