Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!usc!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!icdoc!dds
From: dds@doc.ic.ac.uk (Diomidis Spinellis)
Newsgroups: comp.lang.prolog
Subject: Logic Programming Within an Imperative Framework
Keywords: multiparadigm imperative + logic
Message-ID: <3032@gould.doc.ic.ac.uk>
Date: 20 Mar 91 20:33:45 GMT
Sender: news@doc.ic.ac.uk
Organization: Dept. of Computing, Imperial College, London, UK
Lines: 25

I have started work on an approach to integrate Logic Programming in
an Imperative Programming framework.  An example would be adding Prolog
features (e.g. terms, unification, backtracking) to the C programming 
language.  I would be very grateful for any ideas, opinions and references 
anyone might have on the subject.  I will summarize on comp.lang.prolog.

Diomidis

PS.  I already know about the following papers:

%A Carlo Muller
%T Modula --- Prolog: A Software Development Tool

%A Joanne L. Boyd and Gerald M. Karam
%T {PROLOG} in `{C}'

%T {PLANLOG}: A Language Framework for the Integration of Procedural and Logical Programming
%A Bertram Fronh{oe}fer

%A Chris Mellish and Steve Hardy
%T Integrating Prolog into the {POPLOG} Environment
-- 
Diomidis Spinellis                  Internet:                 dds@doc.ic.ac.uk
Department of Computing             UUCP:                    ...!ukc!icdoc!dds
Imperial College, London SW7        #define O(b,f,u,s,c,a)b(){int o=f(); ...