Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!hplabs!hpcea!hpfcdc!hpldola!kens
From: kens@hpldola.HP.COM (Ken Shrum)
Newsgroups: comp.lang.prolog
Subject: SBProlog setof bug
Message-ID: <11500001@hpldola.HP.COM>
Date: 26 Feb 88 17:43:53 GMT
Organization: HP Elec. Design Div. -ColoSpgs
Lines: 35

I'm having a problem using setof in SBProlog.  Interactive queries work
fine, but non-direct calls fail in various ways.

Given:

test1(X, C, L) :-
	setof(X, C, L).

test2(L) :-
	setof(X, '$member'(X, [1]), L).

test3(L) :-
	call(setof(X, '$member'(X, [1]), L)).

| ?- setof(X, '$member'(X, [1]), L).

X = _
L = [1]
yes
| ?- test1(X, '$member'(X, [1]), L).

<same>

| ?- test2(L).

<bus error, core dumped>

| ?- test3(L).

no

Is this a known bug, and is there a fix?

	Ken Shrum
	hplabs!hpldola!kens