listing(var,nonvar,is_function,is_predicate,is_sort)?
A=var(_)?
.
A=var(4)?
.
A=nonvar(_)?
.
A=nonvar(4)?
.
A=is_function(<)?
.
A=is_function(=)?
.
A=is_predicate(<)?
.
A=is_predicate(=)?
.
A=is_sort(<)?
.
A=is_sort(=)?
.
A=is_sort(bool)?
.
A=is_sort(_)?
.
A=is_function(_)?
.
A=is_predicate(_)?
.
