Prolog
Extension of
ProBoole (5071)