البرمجة, الذكاء الاصطناعي, علوم الحاسوب, قواعد البيانات, لغات البرمجةاللغة الاستنتاجية (Deductive Language)