Prolog

programming language that uses first order logic

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

Categorias:

declarative programming languagedeductive languageprogramming language