Prolog

programming language that uses first order logic

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

分类：

declarative programming languagedeductive languageprogramming language