Masanobu Umeda Keiichi Katamine Isao Nagasawa Masaaki Hashimoto Osamu Takata Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. 200-214 2005 conf/inap/2005 INAP http://dx.doi.org/10.1007/11963578_16 db/conf/inap/inap2005.html#UmedaKNHT05