>>464

'どんな言語でも同じことができると思いますが。
現実にはPrologにしかできないという領域は大きいと思います。
命題とか事実を一句、一行で書いて行くことができますから。'.