> > prologとかか？
> それかな？(;´Д`)どんなことが優れてるの？

論理式をﾌﾟﾛｸﾞﾗﾑに直すのにCとかの手続き型言語より楽とかその辺かな？
いわゆる論理型言語ってやつ
漏れもその辺全く素人だから適当に言ってるけど

参考：2003/01/18(土)14時50分44秒