Article View: comp.lang.prolog
Article #1097Partial Evaluation and NAF
From: Jean Jourdan
Date: Fri, 24 Aug 1990 21:50
Date: Fri, 24 Aug 1990 21:50
10 lines
666 bytes
666 bytes
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
Technical Details
Message-ID:
<10319@pt.cs.cmu.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!udel!rochester!pt.cs.cmu.edu!a.gp.cs.cmu.edu!jjourdanShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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