Buy Me a Coffee at ko-fi.com

Prolog

programming language that uses first order logic

Pronunciation
/ˈprəʊlɒɡ/
/ˈproʊˌlɔɡ/