[n] a computer language designed in Europe to support natural language processing
logic programming, Prolog