relational values for Prolog