• swi prolog 3.1
• sicstus 3.7
• idldoc