Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!CS.ARIZONA.EDU!gudeman From: gudeman@CS.ARIZONA.EDU (David Gudeman) Newsgroups: comp.lang.icon Subject: icon & prolog Message-ID: <9003282012.AA01095@megaron.cs.arizona.edu> Date: 28 Mar 90 20:12:49 GMT References: <9003281833.AA18812@sophist.uchicago.edu> Sender: daemon@ucbvax.BERKELEY.EDU Distribution: inet Organization: The Internet Lines: 20 From: Richard Goerwitz Just an idle question: Has anyone thought of implementing Prolog in Icon, either as a Prolog -> Icon translator, or as a Prolog interpreter written in Icon? I'm not a Prolog expert, but it occurs to me that Icon might offer facili- ties to make such a project much easier than it might be for most other languages. I wrote an interpreter for a small logic language in Icon, not much like Prolog, but it did do goal-directed unification with backtracking like Prolog does. Your intuition is correct that Icon makes this easy, at least for an interpreter. I was able to use Icon's goal-directed evaluation to do all the goal-directed evualation of the logic language, so I didn't have to keep track of states or anything like that. I just looked for the code I wrote, and it seems to have disapeared. Oh well.