Newsgroup: comp.lang.prolog

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(); ...

Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.