Dear James,

Apologies for the late answer. There are some standard instructions��and basic examples for calling Ciao from a C program that we have��sent in the past to the list but have somehow not made it to the��distribution/repo (we are upgrading and including them now).

We send them anyway in a separate email.��It should work at least in Linux and macOS��platforms, when Ciao is compiled from source code.

Cheers,

On Thu, Apr 5, 2018 at 8:28 PM, James Keefe <nsdev55@gmail.com> wrote:

I am interested in calling into Ciao code from a C main() function (NOT calling into C from ciao code). I looked through documentation but could not find clear instructions on how to do this. This would need to involve probably initializing ciao VM from C and using Ciao VM C API to evaluate code from a C string, and calling into Ciao's namespace with symbol names using C API .��

_______________________________________________
Ciao-users mailing list
Ciao-users@clip.dia.fi.upm.es
http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users

Jose