prolog语言的InterModeller编程工具是在TURBOC环境下的程序简洁实用。