ground-term?
added
ns
clojure.core.logic
type
function
(ground-term? x s)