Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!hplabs!hpcc05!hpyhde4!hpycla!hpcuhc!hpcupt3!shankar
From: shankar@hpcupt3.cup.hp.com (Shankar Unni)
Newsgroups: comp.lang.c
Subject: Re: "Embedded Prolog" in C code
Message-ID: <45690008@hpcupt3.cup.hp.com>
Date: 3 Jun 91 11:02:26 GMT
References: <1991May26.231138.13000@brolga.cc.uq.oz.au>
Organization: HP India Software Op., Bangalore
Lines: 22

In comp.lang.c, exnirad@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@india.hp.com
Phone : +91-812-261254 x417                      UUCP: ...!hplabs!hpda!shankar