Prolog (Q163468)
programming language that uses first order logic
Language: