Prolog 各論Tipsassertしたり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
