Prolog

programming language that uses first order logic

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

Катэгорыі:

declarative programming languagedeductive languageprogramming language