31 Oct 25
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
by kawcco
3 months ago
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