prologみたいな変な言語って
>>1に書いてある様な即物的な技術と関係あるの?