Minerva。
といっても知らないだろうが、Javaに落ちるProlog。