[comp.lang.prolog] Mode analysis

kjell@saturn.ucsc.edu (Kjell Post) (10/23/90)

What is the most recent work on deriving mode information for Prolog?
I'm interested in something that not only derives modes for predicate-
arguments but also for each individual variable.

Thanks in advance,
--Kjell
--
      For athletes and programmers,  ! Kjell E. Post
a woman is the end of their career.  ! CIS/CE
                                     ! University of California, Santa Cruz
              -- A.Wickberg          ! Email: kjell@saturn.ucsc.edu