Path: 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


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