Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!udel!rochester!pt.cs.cmu.edu!a.gp.cs.cmu.edu!jjourdan
From: jjourdan@a.gp.cs.cmu.edu (Jean Jourdan)
Newsgroups: comp.lang.prolog
Subject: Partial Evaluation and NAF
Keywords: Partial Evaluation NAF CWA
Message-ID: <10319@pt.cs.cmu.edu>
Date: 24 Aug 90 21:50:45 GMT
Organization: Carnegie-Mellon University, CS/RI
Lines: 10


Hi All,

Could someone tell me something about Partial evaluation and Negation as
failure with a Closed World Assumption. Is it a such problem solver sound?
If yes, could you give a quick prove to me. 

Thanks in Advance.
Jean Jourdan 
jjourdan@cs.cmu.edu