"Embedded Prolog" in C code

[Shankar Unni]

In comp.lang.c, exnirad at brolga.cc.uq.oz.au (Nirad Sharma) writes:

> Is it possible to write Prolog progams and have them integrated into a c
> program ?  I seem to remember that Turbo Prolog on the PC platform allows
> this.  I am looking for a Unix (SYSV) solution which would allow prolog
> units to be written and either compiled and linked to the c code or be
> interpreted at run-time.  Some extensive logic needs to be built into some
> algorithms that I am using for a database application. While I have already
> coded some of this logic in c I would prefer to convert the existing and
> the future code to prolog for ease of programming and verification.

ZYX Prolog supports exactly this kind of facility. It has a complete
foreign-function interface to Prolog, allowing calls both ways (C -> Prolog
and vice versa), and the main program can be either C or Prolog.

It seemsd to be available on a wide variety of Unix platforms.

Contact ZYX AB at +468-6653205 (I think..).
-----
Shankar Unni                                   E-Mail:
HP India Software Operation, Bangalore       Internet: shankar at india.hp.com
Phone : +91-812-261254 x417                      UUCP: ...!hplabs!hpda!shankar