Prolog is a typed language because it supports argument mode annotations. For example, in a predicate specification such as ancestor(+Person, ?Ancestor), +Person means that Person must be instantiated at the time of the call, and +Ancestor means that Ancestor may be either input or output.