استخدام برمجة المنطق

استخدام أدوات تكنولوجيا المعلومات والاتصالات المتخصصة لإنشاء شفرة حاسوب مكوَّنة من سلسلة جُمل في شكل منطقي للتعبير عن القواعد والحقائق الخاصة بمجال مشكلة ما. استخدام لغات البرمجة التي تدعم هذه الطريقة مثل Prolog وAnswer Set Programming وDatalog.