ViewLogic

動かしかた @Prover $ julia

include("load_vlogic.jl") vdata/vl002.cnf だと、2回glitを使えば[]になる

TODO:

1. goal literalの消去の方法は3つある
   1. baseとのresolution
   2. executeしてfalseになるとき消去
   3. Viewで消滅させる
   • 消していく順番を決定する方法
2. もとのliteralの引数が定数の場合、その定数がviewに反映されない。
3. cancelまたは ViewのFactが -Pであるような場合
4. lvarsof()がvarsof()と同じになっている。変数をliteralにあわせるには、標準literalが必要
5. Viewに表示するラベルを持つものとして標準リテラル(Canonical literal)を作る