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
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.