A computer language designed in Europe to support natural language processing.
Programming paradigm based on formal logic.