predicateinitial
Predicateinitial is a term used in logic and computer science to denote the initial or base-case predicate in a recursive or inductive definition. It identifies the starting facts or conditions from which other facts are derived.
In logic programming, Datalog, and formal semantics, many predicates are defined by a base set of facts
Examples: In a simple definition of even numbers, the base fact even(0) is an instance of the
Notes: The exact label predicateinitial varies across sources; in some contexts the base clause or base facts
See also: base case, inductive definition, least fixpoint, recursion, Datalog, logic programming.