Horn clauses are a Turing-complete subset of predicate logic. Horn clauses are the logical foundation of Prolog.

see: https://www.metalevel.at/prolog/logic

A topic first heavily covered in my learning by Wadler, now reintroduced to by by Baez. Happy to see it has a name.

via: https://www.youtube.com/watch?v=DAGJw7YBy8E

Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures). Compared to the single programming paradigms, Curry provides additional features, like optimal evaluation for logic-oriented computations and flexible, non-deterministic pattern matching with user-defined functions.

via: https://buttondown.com/hillelwayne/archive/the-angels-and-demons-of-nondeterminism/

Do we care about the best case or the worst case?

How we can think about pushouts as applying rules via substitution, featuring examples in categorical databases and Datalog.

Today we’re excited to announce the first pre-alpha release of our new software CatColab 0.1: Hummingbird. CatColab is software for making models of the world together.