Horn Clause

A clause (i.e., a disjunction of literals) is called a Horn clause if it contains at most one positive literal. Horn clauses are usually written as

or

where  and  is the only positive literal.

A definite clause is a Horn clause that has exactly one positive literal. A Horn clause without a positive literal is called a goal.

Horn clauses express a subset of statements of first-order logic. Programming language Prolog is built on top of Horn clauses. Prolog programs are comprised of definite clauses and any question in Prolog is a goal.

---

REFERENCES

Clocksin, W. F. and Mellish, C. S. Programming in Prolog Using the ISO Standard. New York: Springer-Verlag, 1984.

Horn, A. "On Sentences Which Are True of Direct Unions of Algebras." J. Symbolic Logic 16, 14-21, 1951.

اخر الاخبار

اخبار العتبة العباسية المقدسة

قسم صناعة الشبابيك يستعرض أعماله للمشاركين في البرنامج المركزي الأسبوعي

جامعة الكفيل تنظم حملة للتبرع بالدم للأطفال المصابين بالثلاسيميا والأورام السرطانية

قسم الشؤون الفكرية يصدر العدد 55 من مجلة العميد المحكمة

المجمع العلمي يجري اختبار القبول للمتقدمين إلى دورة ربيع القرآن في كربلاء

المزيد

الآخبار الصحية

كنز غذائي على طبقك.. ماذا تفعل السبانخ بجسمك؟

ما لا يتوقعه أحد.. "سر غذائي" في الجبن الدسم

لتحسين الهضم والنوم.. هذا أفضل وقت لتناول العشاء

10 طرق بسيطة وغير مألوفة لحرق المزيد من السعرات يوميا

المزيد

الآخبار التكنلوجية

سابقة بعالم الطيران.. طائرة تقرر الهبوط بنفسها بعد ظرف طارئ

"الإنفلونزا الخارقة" تكتسح دول العالم.. وتثير قلقا كبيرا

مرحلة ما قبل الأعراض.. دواء جديد يستهدف "شرارة" الزهايمر

إزالة ثاني أكسيد الكربون من الغلاف الجوي.. ما دور المحيطات والبحار؟

المزيد

مواضيع ذات صلة

Lemma

Proof

Zeno,s Paradoxes

Unexpected Hanging Paradox

Strange Loop

Sorites Paradox

Simpson,s Paradox

Russell,s Antinomy

Paradox

Newcomb,s Paradox

Missing Dollar Paradox

Line Point Picking