Key points are not available for this paper at this time.
تستعرض هذه المقالة نتائج مختلفة حول التعقيد والتعبير في أشكال مختلفة من برمجة المنطق. التركيز الرئيسي هو على أشكال برمجة المنطق القابلة للقرار، وبشكل خاص، برمجة المنطق الاقتراحي و Datalog، ولكننا نذكر أيضاً برمجة المنطق العامة مع رموز الدالة. بالإضافة إلى النتائج التقليدية حول برمجة المنطق البسيطة (برامج Horn النقية)، يتم استعراض نتائج أكثر حداثة حول عدة امتدادات هامة لبرمجة المنطق. تشمل هذه النتائج برمجة المنطق مع أشكال مختلفة من النفي، برمجة المنطق التبادلية، برمجة المنطق مع المساواة، وبرمجة المنطق المقيد.
دانتسين وآخرون (Sat,) درسوا هذا السؤال.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: