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

GNU Prolog – جنو برولوج