true
Built-in Prolog predicate with no arguments, which, as the name suggests, always succeeds.

See also fail, repeat.