Re: How to print a prolog Term?

[Erick Alphonse]

Hello,

> I am using the C interface, and I don`t know how to print a prolog term 
> that is a variable.
>
> void WritePlTerm(PlTerm t) {
> if (Blt_Var(t)) {
>    printf ("Var: %i",Rd_Code(t));
> }
>
> This prints me the code assigned to the variable, but I`m attempting to 
> write the name of the variable.

Try something like that :

void WritePlTerm(PlTerm t) {
  Pl_Query_Begin(true);
  Pl_Query_Call(Find_Atom("writeq"),1,&t);
  Pl_Query_End(PL_RECOVER);
}

Cheers,
Erick.