From d.n.davis@dcs.hull.ac.uk  Mon May 15 22:57:31 2000
Received: from barlaeus.ic.uva.nl (barlaeus.ic.uva.nl [145.18.68.50])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id WAA01271
	for <prolog@swi.psy.uva.nl>; Mon, 15 May 2000 22:57:31 +0200 (MET DST)
Received: from mailhub4.hull.ac.uk (Lehar.ucc.hull.ac.uk [150.237.196.3])
	by barlaeus.ic.uva.nl (8.9.3/8.9.3) with SMTP id VAA25742
	for <prolog@swi.psy.uva.nl>; Mon, 15 May 2000 21:34:10 +0200 (MET DST)
X-Authentication-Warning: barlaeus.ic.uva.nl: Host Lehar.ucc.hull.ac.uk [150.237.196.3] claimed to be mailhub4.hull.ac.uk
Received: from mailhub.dcs.hull.ac.uk (actually host amethyst.dcs.hull.ac.uk)
          by lehar.ucc.hull.ac.uk with ESMTP; Mon, 15 May 2000 20:26:39 +0100
Received: from [150.237.92.11] (helo=scarlet.dcs.hull.ac.uk ident=exim)
          by mailhub.dcs.hull.ac.uk with esmtp (Exim 3.03 #2)
          id 12rQVj-0004SL-00 for prolog@swi.psy.uva.nl;
          Mon, 15 May 2000 20:26:39 +0100
Received: from cssdnd by scarlet.dcs.hull.ac.uk with local (Exim 2.12 #1)
          id 12rQVe-0005MV-00 for prolog@swi.psy.uva.nl;
          Mon, 15 May 2000 20:26:34 +0100
To: prolog@swi.psy.uva.nl
Subject: Static and Dynamic Prolog clauses
Message-Id: <E12rQVe-0005MV-00@scarlet.dcs.hull.ac.uk>
From: Darryl Davis <D.N.Davis@dcs.hull.ac.uk>
Date: Mon, 15 May 2000 20:26:34 +0100

Hi

 I have a slight problem with SWI-v3.3.6 and the use of 'assert'.
 In some code from another academic institution (which runs under
	Quintus) there are static definitions for a relation
	and dynamic additions through the use of assert at run-time.
 v3.3.6 complains about this.

 E.g.
    ?- listing(next_episode).

    next_episode(A, B) :-
        clause(next_episode(A, B), !), !.
    next_episode(A, B) :-
        following(A, B).

    Yes
    ?- assert(next_episode(t5,t4)).
    ERROR: No permission to modify static_procedure `next_episode/2'

Any suggestions as to work-around this. It seems like a reasonable 
thing to do in prolog

Thanks
Darryl Davis
Neural Emergent and Agent Technologies Research Group,
Dept of Computer Science,       Tel: +44 (0) 1482 466469
University of Hull,             Fax: +44 (0) 1482 466666
Kingston upon Hull              http://www2.dcs.hull.ac.uk/cic/index.html
HU6 7RX, England.               email: d.n.davis@dcs.hull.ac.uk	

