ホーン節せつ

noun

Horn clause

Technical term in mathematical logic and computer science, especially in logic programming and automated theorem proving.

• Prologでは、プログラムはホーン節せつの集しゅう合ごうとして表ひょう現げんされる。

  In Prolog, a program is represented as a set of Horn clauses.