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} }