Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming.
In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming and the programming language Prolog.
Cape Horn | horn | Trevor Horn | Establishment Clause | Horn-Bad Meinberg | Grandfather clause | Commerce Clause | Van Horn, Texas | Keith Van Horn | Horn | Gyula Horn | Big Horn Mountains | Walther Hermann Richard Horn | Horn Island | Dara Horn | Supremacy Clause | horn section | Gustav Horn, Count of Pori | Golden Horn | The Horn and Hardart Children's Hour | The Case of the Mukkinese Battle Horn | Robert T. Van Horn | Jeremy Horn | Isis (horn-rock band) | Horn Island, Queensland | Horn (instrument) | Holmdel Horn Antenna | Gustav Horn | Ellen Horn | Due Process Clause |