WordNet
logic programing
n. a computer language designed in Europe to support natural language processing [syn: Prolog, logic programming]