ap :: String -> [String] -> Expr
ap p xs = Atomic (Predicate p) (map Variable xs)
ap :: String -> [String] -> Expr
ap p xs = Atomic (Predicate p) (map Variable xs)
ap p xs = Atomic (Predicate p) (map Variable xs)