>>1
プログラミング言語で、という意味なら、
Prolog
ならば大丈夫。