True when Type describes the type of PI. Note that the value
linear seems to mean you can use clause/2 on it, which is true
for any SWI-Prolog predicate that is defined. Therefore, we use
it for any predicate that is defined.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in