From jan@swi.psy.uva.nl  Thu Sep  7 11:46:13 2000
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id LAA02457;
	Thu, 7 Sep 2000 11:46:13 +0200 (MET DST)
Received: (from jan@localhost)
	by gollem.swi.psy.uva.nl (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) id LAA30391;
	Thu, 7 Sep 2000 11:46:24 +0200
Date: Thu, 7 Sep 2000 11:46:24 +0200
Message-Id: <200009070946.LAA30391@gollem.swi.psy.uva.nl>
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Subject: Re: predefined_procedures
To: "Waseem Besada" <waseem@isk.kth.se>, <prolog@swi.psy.uva.nl>
In-Reply-To: Waseem Besada's message of Thu, 7 Sep 2000 11:41:22 +0200
Phone: +31 - 20 - 525 6121

> SWI-prolog do not allow me to use functor names used by the system as
> predifined static procedures.
> Is there is away to tell the system to switch off this control and use my
> defined procedures instead of the system's predifined ones?

Yip. See redefine_system_predicate/1. Redefinition in the module user 
affects all modules. Note however that some things are handled by the
compiler and redefinition thus has no effect.  These are the control
primitives (,/2, ;/2, ->/2, etc.), true/0, fail/0, arithmetic (is/2,
>/2, etc).  See also goal_expansion/2.

	Regards --- Jan

