エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Prolog 各論Tips
assertしたりretractしたり。 SWI-Prolog や GnuPrologにおいて GnuPrologは、dynamicな節は、いつもass... assertしたりretractしたり。 SWI-Prolog や GnuPrologにおいて GnuPrologは、dynamicな節は、いつもassert,retractさせてくれる。 SWI-Prologは、abolishすると、dynamic属性が忘れ去られ、 static procedureになってしまう。 そして、二度と、assert(retract)できない。 エラーとして、 No permission to modify static_procedure が 報告される。 なので、abolishは、使用せず、retract/1,retractall/1を使用しましょう。 これは、FAQです。 ERROR: No permission to modify static_procedure Name/Arity http://gollem.science.uva.nl/twik
2009/04/04 リンク