true/0
true
Always succeeds. This could have been trivially defined in Prolog by the single clause:
true.