Knowledge Representation Language
Quixote