From hocaoglu@ece.arizona.edu  Thu Mar 23 00:24:53 2000
Received: from ece2.ece.arizona.edu (ece2.ece.arizona.edu [128.196.29.20] (may be forged))
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id AAA21526
	for <prolog@swi.psy.uva.nl>; Thu, 23 Mar 2000 00:24:53 +0100 (MET)
Received: from localhost (hocaoglu@localhost)
	by ece2.ece.arizona.edu (8.9.3/8.9.3) with ESMTP id QAA03179
	for <prolog@swi.psy.uva.nl>; Wed, 22 Mar 2000 16:22:18 -0700 (MST)
X-Authentication-Warning: ece2.ece.arizona.edu: hocaoglu owned process doing -bs
Date: Wed, 22 Mar 2000 16:22:18 -0700 (MST)
From: Fatih Hocaoglu <hocaoglu@ece.arizona.edu>
To: prolog@swi.psy.uva.nl
Subject: To read a file
Message-ID: <Pine.GSO.4.10.10003221621360.29220-100000@ece2.ece.arizona.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

 Dear members,

I have written a prolog program. But I want to make another prolog
program file (such as a knowledge base) read. I made the file read.

But I don't know how I can assert the rules that are read as a
predicate.     

For example,
The program read a rule such as set_trust(on) from the knowledge base and
assigned it to a variable, X='set_trust(on)'. How can I assert the
predicate set_trust(on).

I tried to use asserta(X), but it doesn't work, I think type conversion
necessary.

Best regards.

Fatih 


