3 ms·

> Do they even call them functions in Prolog? Doesn't seem appropriate. Nope. "Predicate" is the term you're looking for.