الذكاء الاصطناعي, برولوج, قواعد البيانات, لغات البرمجة

إكس إس بي (XSB)