>>1
論文の管理の問題があるから、トップレベルは
Prologが良いと思う。
ここから遅いインターフェイス(shell経由)で
>>8 で示されたような言語を呼びだす。
私の好みかも知れないがオブジェクト指向言語で
関数型などが良さそうに思うが。