You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
9. Flex Predicates 138<br />
<strong>flex</strong> toolkit<br />
Retrieve the Name used as a synonym for the Term.<br />
Example<br />
?- isa_synonym( N, T ).<br />
N = boiling_point, T = 100<br />
N = weight, T = its(volume)*its(density)<br />
isa_template( ?Name,-Positive,-Negative )<br />
Retrieve both the Positive and Negative forms of a template. The<br />
template forms will be returned as a list of lists, with breaks at the parameter<br />
positions.<br />
Example<br />
?- isa_template( ontopof, P, N ).<br />
P = [[block],[is,on,top,of,block],[]]<br />
N = [[block],[is,not,on,top,of,block],[]]<br />
P = [[block],[is,on,top,of,table],[]]<br />
N = [[block],[is,not,on,top,of,table],[]]<br />
isa_value( ?Slot,-Value )<br />
Retrieve either the current Value, or in its absence the default Value, for<br />
the Slot.<br />
The Slot should either be a compound term of the form<br />
@(Attribute,Frame) or it is the name of a global variable, in which case<br />
the name of the frame to be used is global.<br />
Examples<br />
?- isa_value( @(colour,flag), X ).<br />
X = [red,blue,white]<br />
?- isa_value( temperature, X ).<br />
X = 100<br />
isa_watchdog( ?Name,?Attribute,?Frame,-Context,-Check,-Action )<br />
Retrieve the characteristics of a watchdog procedure. (See the predicate<br />
new_watchdog/6 for a description of the arguments.)<br />
Example<br />
?- isa_watchdog( N, A, F, CX, CK, AT ) .<br />
N = security<br />
A = balance<br />
F = account<br />
CX = outside_office_hours<br />
CK = comparison(>,@(classification,user),99)