Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!pacific.mps.ohio-state.edu!linac!mp.cs.niu.edu!ux1.cso.uiuc.edu!boas.cogsci.uiuc.edu!sutanto
From: sutanto@boas.cogsci.uiuc.edu (Herry Sutanto)
Newsgroups: comp.lang.prolog
Subject: SICStus Prolog expert, HELP!
Summary: How to get all blocked goals?
Keywords: SICStus Prolog, freeze, call_residue
Message-ID: <1991May23.194951.24587@ux1.cso.uiuc.edu>
Date: 23 May 91 19:49:51 GMT
Sender: usenet@ux1.cso.uiuc.edu (News)
Organization: University of Illinois at Urbana
Lines: 21


I have a question for SICStus Prolog expert.

It is related to freeze predicate.  The question is how to get *all*
blocked goals so far? 

What I need is similar to call_residue/2 but return all blocked goals
from top level to current point.  call_residue(+Goal, ?Vars) only
returns blocked subgoal(s) of the execution of Goal, not *all* of the
blocked goals to that point.

I tried to use setof/2 with frozen/2 but they always return TRUE instead.

Herry Sutanto 
sutanto@cs.uiuc.edu



--

-hs-