Lisp Scheme Part41 (855レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
151(1): はちみつ餃子 ◆8X2XSCHEME 2020/02/22(土)12:07 ID:5jIrjfcF(1) AAS
事実を列挙すれば解を求める処理をやってくれるってのは理想のひとつではあるよな。
実際にはには Prolog が答えを出すメカニズムを理解していないと
答えを (効率的に) 出しやすい事実を上手く与えられない場合もあるし、現実は厳しい……。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.036s