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(a)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(a)clip.dia.fi.upm.es http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users