なんか、細かい(細かくもないか?)問題が出るなー、いろいろと。
対話的インタプリタの構文的プリプロセッサをパイプではさむってのは、あんまりうまく動きませんね、Windowsでは。フィルター(プリプロセッサ)がうまく終われなくて暴走するようだ。が、シンタックスシュガーを使わないと辛そうだし。
だんだん、めんどうになってきた。HOLじゃなくて、例えば生のPrologで書いてもいいかな。SWI-Prolog(http://www.swi-prolog.org/)とかがいいか? JavaとPrologエンジンとのインターフェースは、Declarativa のInterProlog(http://www.declarativa.com/interprolog/)がある。これはXSB(http://xsb.sourceforge.net/)でもOK。
Javaで実装されたPrologもけっこうある(→http://directory.google.com/Top/Computers/Programming/Languages/Prolog/Implementations/Java-Based/)。なかでもW-Prolog(http://goanna.cs.rmit.edu.au/%7Ewinikoff/wp/)は、Javaのソースファイルが1つと、非常に小さい。