Path: utzoo!attcan!uunet!ginosko!gem.mps.ohio-state.edu!apple!usc!henry.jpl.nasa.gov!elroy.jpl.nasa.gov!ucla-cs!arman
From: arman@oahu.cs.ucla.edu (Arman Bostani)
Newsgroups: comp.lang.prolog
Subject: logic programs -> procedural lang?
Message-ID: <27335@shemp.CS.UCLA.EDU>
Date: 22 Sep 89 03:58:55 GMT
Sender: news@CS.UCLA.EDU
Reply-To: arman@oahu.cs.ucla.edu (Arman Bostani)
Organization: UCLA Computer Science Department
Lines: 14


I am looking references to any work done in the area of "compiling"
logic programming languages (i.e. Prolog, CLP(R), etc.) into a
procedural/deterministic language such as C.

I, myself, have written a compiler from LOG(F) (functional programming
language, related to prolog) to a variant of C, but I have seen very
little published work in this area. 

Thanks for the help,
-arman.

-- Arman Bostani	// UCLA Computer Science Department
-- arman@CS.UCLA.EDU	// ...!(ucbvax,rutgers)!ucla-cs!arman