Prologにも遠く及ばない旧世代アプローチ。半世紀近く遅れている。