SBProlog setof bug

Article View: comp.lang.prolog

Article #3022

#3022

From: Ken Shrum
Date: Fri, 26 Feb 1988 17:43

35 lines
854 bytes

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

Technical Details

Message-ID: <11500001@hpldola.HP.COM>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!hplabs!hpcea!hpfcdc!hpldola!kens

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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