Subject: [SWIPL] Is there another way to assert ?

From: "andris r" <[email-masked]>
Date: Mon, 7 May 2001 07:58:07 -0700

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/