Newsgroup: comp.lang.prolog


Article 3316 of comp.lang.prolog:
Path: 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
Distribution: world
Organization: Dept. of Computing, Imperial College, London, UK
Lines: 25
Content-Length: 1017
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(); ...




Newsgroup comp.lang.prolog contents
Newsgroup list
Diomidis Spinellis home page

Creative Commons License 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.