# from .engines.language import Constant, Variable, Functor, Structure, Predicate, List, Atom, Negation, Conj, Clause, list_func, c_var, c_pred, c_fresh_var, c_const, c_functor, c_literal, c_symbol
# from pylo.engines.prolog.prologsolver import Prolog


# from .engines.language import Constant, Variable, Functor, Structure, Predicate, List, Atom, Negation, Conj, Clause, list_func, c_var, c_pred, c_fresh_var, c_const, c_functor, c_literal, c_symbol
# from pylo.engines.prolog.prologsolver import Prolog


# from .engines.language import Constant, Variable, Functor, Structure, Predicate, List, Atom, Negation, Conj, Clause, list_func, c_var, c_pred, c_fresh_var, c_const, c_functor, c_literal, c_symbol # from pylo.engines.prolog.prologsolver import Prolog