>>377
Prolog?もはや過去の言語でしょ。