Write a predicate that tests if all elements of a numeric list are positive. @mndrix

Question

how to write clauses, predicates and domains correctly?

all_greater_than_zero([]).
all_greater_than_zero([H|T]) :-
    H > 0,
    all_greater_than_zero(T).