Article View: comp.lang.prolog
Article #1832Questions on Prolog
From: Guillermo A. Francia
Date: Wed, 20 Feb 1991 23:14
Date: Wed, 20 Feb 1991 23:14
21 lines
1196 bytes
1196 bytes
Perhaps somebody out there can enlighten me on the following issues about logic programming: 1) Given a logic program (assuming the absence of aliasing and cuts), is it possible to statically infer on what particular clause a variable can get instantiated? If this is undecidable, is there any safe approximation to it? 2) Given that a variable instantiation can be statically inferred, is it possible to determine all the possible instantiation point of a variable in the program? I will appreciate any help that I can get. Thanks in advance. -- -------------------------------------------------------------------- francia@jupiter.nmt.edu Guillermo A. Francia III P.O. Box 2335 CS francia@minos.nmt.edu New Mexico Tech
Technical Details
Message-ID:
<1991Feb20.231413.12025@nmt.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!hellgate.utah.edu!caen!zaphod.mps.ohio-state.edu!maverick.ksu.ksu.edu!unmvax!nmt.edu!franciaShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!hellgate.utah.edu!caen!zaphod.mps.ohio-state.edu!maverick.ksu.ksu.edu!unmvax!nmt.edu!francia From: francia@nmt.edu (Guillermo A. Francia) Newsgroups: comp.lang.prolog Subject: Questions on Prolog Message-ID: <1991Feb20.231413.12025@nmt.edu> Date: 20 Feb 91 23:14:13 GMT Organization: New Mexico Institute of Mining and Technology Lines: 21