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

prolog-like programming in racket programming systems.

A collection of artifacts from logic programming languages beginning with Marseille Prolog.