Mode analysis

Article View: comp.lang.prolog

Article #1304

#1304

From: Kjell Post
Date: Mon, 22 Oct 1990 17:43

12 lines
846 bytes

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

Technical Details

Message-ID: <8073@darkstar.ucsc.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!sun-barr!lll-winken!unixhub!shelby!agate!darkstar!saturn.ucsc.edu

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!sun-barr!lll-winken!unixhub!shelby!agate!darkstar!saturn.ucsc.edu
From: kjell@saturn.ucsc.edu (Kjell Post)
Newsgroups: comp.lang.prolog
Subject: Mode analysis
Message-ID: <8073@darkstar.ucsc.edu>
Date: 22 Oct 90 17:43:26 GMT
Sender: usenet@darkstar.ucsc.edu
Organization: University of California, Santa Cruz
Lines: 12