- 566 名前：デフォルトの名無しさん mailto:sage [2009/10/14(水) 08:12:11 ]
- SWIにもname/2はあるみたいだけど、整数の扱いが違うとかそういうこと？
www.swi-prolog.org/pldoc/doc_for?object=name%2f2
> (e.g. `name(N, "300"), 400 is N + 100' succeeds)
www.kprolog.com/doc/ja/builtins/meta/creation.html#name_2
> アトミック項をその表記である文字列と相互変換します。
これだと数がどうなるのかわからないけど。
