http://logicmoo.cvs.sourceforge.net/logicmoo/openmodaliy/iso-prolog/?hideattic=0