ところでこれの中身読めた人どう？
ttp://www.ipsj.or.jp/members/Journal/Jpn/3405/article017.html

SMLによると
>以下論文中からPrologと対比した例を示します。
>
>mago(X,MAGO) :- ko(X,KO),ko(KO,MAGO). [Prolog]
>孫とは子の子. [論具]
>
>ani(X,ANI) :- brother(X,ANI),toshiue(X,ANI) [Prolog]
>兄とは兄弟で年上. [論具]

とか、確かにこういうのはアリかなとも思うけど。

まぁ、algol系（と大雑把にくくるが）で日本語的プログラミング言語つーのは無理あるよな。
強いて言えば漢文にレ点を付けるようなもんにしかならんだろうし。

この論文誰かどっかにかっぱいで晒してくれねぇかなぁ。