Prolog

programming language that uses first order logic

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

Kategoriler:

declarative programming languagedeductive languageprogramming language