LispとProlog。そしてその族言語。それ以外に考えられない。