Prolog はホーン節というのだそうで、
頭部に ひとつの項しか記述ができない。
p1,p2,p3 :- q1,q2. のような定義はできない。それで条件節はどうしても
頭部 :- 本体 の本体側が重くなる。ここが美しくない。
そのこと以外、構文規則や表記法などはもっともすっきりした言語の
ひとつだと思う。