Usage:
R is true_value(Goal)
 

Here Goal has to be an atomic goal. If Goal succeeds then this function returns 1, otherwise it returns 0.

Example:

?- N is true_value(1<2)+true_value(2=2), write(N), nl.