Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!news.kei.com!simtel!col.hp.com!news.corp.hp.com!isonews.bbn.hp.com!hpbbrd!jensk
From: jensk@hpbbrd.bbn.hp.com (Jens Kilian)
Subject: Re: ISO standard and the discontiguous directive
Message-ID: <D4tE67.F4q@hpbbrd.bbn.hp.com>
Date: Thu, 2 Mar 1995 13:15:43 GMT
References: <3j2mkt$isg@gnu.mat.uc.pt>
Organization: HP Mechanical Design Division
X-Newsreader: TIN [version 1.1.8 PL6]
Lines: 13

: What about a behaviuor similar to that of the dynamic/1 directive?

But that's what the dynamic directive is for.  If you want a dynamic predicate,
declare it as dynamic.

: A call of an undefined discontiguous predicate will just fail because,
: with the discontiguous directive, the programmer is somehow declaring
: the predicate to the compiler.

But this would mean that you could never define a static discontiguous
predicate.  Is that desirable?

	Jens.
