命題論理や述語論理などの論理学を学んでいる者なのですが、
Prologは論理学の知識を生かして
他の言語にあまりない面白いものを作れたりするのでしょうか？