Xref: utzoo comp.lang.prolog:4020 comp.lang.c:39620 comp.sources.wanted:16846
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!comp.vuw.ac.nz!canterbury!fore057
From: fore057@csc.canterbury.ac.nz
Newsgroups: comp.lang.prolog,comp.lang.c,comp.sources.wanted
Subject: Re: "Embedded Prolog" in C code
Message-ID: <1991May27.170956.873@csc.canterbury.ac.nz>
Date: 27 May 91 05:09:56 GMT
References: <1991May26.231138.13000@brolga.cc.uq.oz.au>
Organization: University of Canterbury, Christchurch, New Zealand
Lines: 21

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

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.