前スレの >>990 ですが、Prologで述語定義してみました。

http://nojiriko.asia/prolog/sure_tateru_mademo_nai125_990.html

この言語の特長ですが、これに限らず無数の異なった定義が可能です。