09.07.01. termtype einzelne Abfragen

Es gibt in SWI-Prolog eingebaute Prädikate, mit denen man den Typ eines Terms (Zahl, Atom, etc.) abfragen kann. Diese eingebauten Prädikate sollen, soweit möglich, verwendet werden, um das Prädikat termType zu bauen. Diese finden sich zum Beispiel im Wiki.