agent\_logic.core ================= .. automodule:: agent_logic.core .. rubric:: Modules .. autosummary:: :toctree: :recursive: base functions operations predicates quantifiers