Prolog

programming language that uses first order logic

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

카테고리:

declarative programming languagedeductive languageprogramming language