Execute a query and return whether it succeeds.
true if the query has at least one solution
The Prolog query (without trailing period)