Lisp Scheme Part22at TECHLisp Scheme Part22 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト100:デフォルトの名無しさん 08/05/24 18:52:35 >>97 findallはProlog標準関数ですか? 働きがよくわかりません。 101:デフォルトの名無しさん 08/05/24 19:12:06 >>100 適当に説明すると、findall は第2引数(述語)を満たすような第1引数(変数)のリストを第3引数(変数)に束縛する。 ここでは、このプログラムがウサギが犯人であることを導くことと、それ以外の結論を導かないことを示すために使った。 ttp://www.cs.ualberta.ca/~you/courses/325/Mynotes/Log/builtin.html の "3. Finding all solutions" も参考になると思う 102:デフォルトの名無しさん 08/05/24 19:51:55 >>98 >こんなの? そうそう、そういうの。そういうのをWindowsで欲しい、作りたい。 >>99 >symbolicsの中古探してみるとか? マジに中古あったらい欲しいっす。プレミアついてるんだろうか。 性能は今のパソコンより遥かに劣るんだし、安く手に入らんかな~。 103:デフォルトの名無しさん 08/05/24 20:11:57 connection machine がうちの研究所にあったらしいんだけど 捨てちゃったらしんだよね。俺が来るだいぶ前に。 捨てたってそれどういうことよ。 ありえないよ。 捨てるんだったら俺にくれ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch