D’après linux.fr : http://linuxfr.org/2010/12/30/27724.html
Attempto Controlled English (ACE) est un sous ensemble de l’anglais conçu pour être non ambigüe. Il est constitué d’un petit ensemble de règles syntaxiques, sémantique et d’interprétation. Il est aussi conçu pour être un langage logique du premier ordre. Constitué d’un ensemble d’outils permettant d’exprimer et de manipuler du texte en anglais, l’outil principal Attempto Parser Engine (APE) est capable de fournir une représentation logique d’une phrase en anglais ACE.

Ecrit en Swi-Prolog, APE est capable rendre un ensemble de phrases sous forme logique en utilisant la représentation DRS (Discourse representation structures).

http://attempto.ifi.uzh.ch/site/
http://en.wikipedia.org/wiki/Discourse_Representation_Theory
http://attempto.ifi.uzh.ch/site/downloads/