Prolog

programming language that uses first order logic

en-US/pɹoʊˈlɑɡ/
en-GB/pɹəʊlɒɡ/

دسته بندی ها:

declarative programming languagedeductive languageprogramming language