no code implementations • 3 Mar 2020 • Daniel Selsam, Simon Hudon, Leonardo de Moura
Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive type, traversing a term can be implemented generically as a higher-order combinator, and backtracking is dramatically simplified by persistent datastructures.
Programming Languages