bool - возвращает T, когда аргумент any не равен NIL. Эта функция нужна только тогда, когда T строго требуется для условия «истина» (обычно любое значение, отличное от NIL, считается «истиной»).
bool/3 - предикат Pilog, который выполняется успешно, е...
