In logic programming languages, often all subroutines are called predicates, since they primarily determine success or failure.
У логици програмских језика, често све потпрограме зову предикатима, јер су пре свега одређују успех или неуспех.