1
Download context/2 - bei IF Computer
Transcript
TermUnifyCompound()
C-Function
Active C interface
Example
The following simple C function realizes a predicate mk indicator/3, which makes a
predicate indicator from given name and arity.
#include "cpred.h"
BOOLEAN mk_indicator_3(void)
/*
** mk_indicator( +Functor, +Arity, -Indicator )
*/
{
STRING string;
long value;
TERM functor = PrologArg(1);
TERM arity = PrologArg(2);
return TermIsAtom(functor,&string)
&&
TermIsInteger(arity,&value)
&&
TermUnifyCompound(PrologArg(3),
"/",2,functor,arity);
}
void Cboot(void)
{
CPRIM("mk_indicator",3,mk_indicator_3);
}
See also
TermUnifyFunctor(), TermUnifyUniversal(), TermUnify(), TermMakeCompound()
IF/Prolog V5.3
783
Reference Manual
