From rajano@my-deja.com Mon May  7 16:58:25 2001
Received: from mail9.bigmailbox.com (mail9.bigmailbox.com [209.132.220.40])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f47EwO318363
	for <prolog@swi.psy.uva.nl>; Mon, 7 May 2001 16:58:24 +0200 (MET DST)
Received: 
	by mail9.bigmailbox.com (8.8.7/8.8.7) id HAA04036;
	Mon, 7 May 2001 07:58:07 -0700
Date: Mon, 7 May 2001 07:58:07 -0700
Message-Id: <200105071458.HAA04036@mail9.bigmailbox.com>
Content-Type: text/plain
Content-Disposition: inline
Content-Transfer-Encoding: binary
X-Mailer: MIME-tools 4.104 (Entity 4.116)
Mime-Version: 1.0
X-Originating-Ip: [212.70.160.12]
From: "andris r" <rajano@my-deja.com>
To: prolog@swi.psy.uva.nl
Subject: [SWIPL] Is there another way to assert ?

This works fine:
term_t term;
...put something in term
predicate_t assert=PL_predicate('assert',1,'user');
PL_call_predicate(nil,PL_Q_NORMAL,assert,term);

But is there a way to assert a term with no construction of it in C, like assert a string and let prolog handle it ?

------------------------------------------------------------
--== Sent via Deja.com ==--
http://www.deja.com/

