"Embedded Prolog" in C code

[fore057 at csc.canterbury.ac.nz]

In article <1991May26.231138.13000 at brolga.cc.uq.oz.au>, 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.

Turbo Prolog is now marketed by the original developers, and is called PDC
Prolog.  There is a UNIX version.  I suggest you ask if it will do what you
want.  The address is:

Prolog Development Center ApS.
H.J. Holst Vej 5A
DK-2605 Broendby
Copenhagen, Denmark

They used to have a USENET address, but my Email hasn't been reaching them
recently.