Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news3.near.net!paperboy.wellfleet.com!news-feed-1.peachnet.edu!usenet.eel.ufl.edu!news.mathworks.com!uhog.mit.edu!sgiblab!sgigate.sgi.com!olivea!decwrl!tc.pw.com!Ferguson.tc.pw.com!Don_Ferguson
From: Don_Ferguson@notes.pw.com (Don Ferguson)
Subject: Re: Prolog in structured languages?
Message-ID: <Don_Ferguson.6.000C4B75@notes.pw.com>
Sender: news@tc.pw.com
Nntp-Posting-Host: ferguson.tc.pw.com
Organization: Price Waterhouse
X-Newsreader: Trumpet for Windows [Version 1.0 Rev B]
References: <roji.799498182@mangal> <1995May23.080552.20165@wavehh.hanse.de>
Date: Tue, 23 May 1995 17:40:51 GMT
Lines: 22

In article <1995May23.080552.20165@wavehh.hanse.de> cracauer@wavehh.hanse.de (Martin Cracauer) writes:
>From: cracauer@wavehh.hanse.de (Martin Cracauer)
>Subject: Re: Prolog in structured languages?
>Date: Tue, 23 May 95 08:05:52 GMT

>roji@cs.huji.ac.il (Shay Rojansky) writes:

>>Hi, everyone.
>>Is there a way for me to use logical programming
>>(Prolog) in a structured programming language such
>>as C? I've looked for one, but haven't found one.

>I don't know of an embeddable Prolog, but there are some scheme
>interpreters of that kind, elk and SCM for example. There are a number
>of packages for scheme that emulate prolog (using Lisp syntax).

Both Sicstus and Quintus are embeddable (main() in C).  I would imagine that
wamcc yields embeddable code too.  Quintus is a bit cleaner than Sicstus in 
this regard.  In Quintus, all of the Prolog code can be linked directly 
into the executable, whereas Sicstus dynamically loads the compiled Prolog 
files on startup.

