1. In class, we defined the predicates X :yyx | y, and prime(x) i...