Logic

A novel framework for efficient Constrained Horn Clause (CHC) solving, "Chronosymbolic Learning", which provides fundamentals to unify symbolic-reasoning-based and data-driven approaches synergistically.