03/04/14 22:15
>>217
論理プログラミング言語はLispでしばしば容易に実装されるようだから，
後者の方が強力なのでは？
というか具体的にはLispでPrologを実装し，
それでシステムを構築するというのは一応Lispの精神に則っていると思われ．
03/04/14 22:15
>>217
論理プログラミング言語はLispでしばしば容易に実装されるようだから，
後者の方が強力なのでは？
というか具体的にはLispでPrologを実装し，
それでシステムを構築するというのは一応Lispの精神に則っていると思われ．