Semantic modelling of the SWI-Prolog project

    * EvoOnt --- http://www.ifi.uzh.ch/ddis/evo/
    * Baetle --- http://code.google.com/p/baetle/
    * Mandriva Nepomuk --- http://nepomuk.linbox.org/