uniq

Last-modified: 2009-01-15 (木) 02:18:48 (5603d)

Top / uniq

研究日誌とつぶやき

slimに新uniqを †

uniq中メモ
- task.c
- history.h, .c
- rule.h, .c
  - LmnRule?, make_rule
- instruction.c
- (mambrane.c)

実装に関して †

全てのルールが履歴を持てるようにする
グラフはground型のみなので、string型で一意に決まるIDを作る
とりあえずルールの@pの表記はそのままで
- c言語ならできそう(な気がする)
uniqの引数はint型とそれ以外の型で処理を変えなければならない
- int型はlinkのポインタに直接値を入れちゃうから

卒論への蓄え †

なぜ型付きプロセスじゃないと引数に取れないようにしたか
- uniq_exam.lmnにまとめた
CHRの例題探し
- ちょいちょい

mem_eq
- atom.h(functor下3行)
- functor.c(同じく下3行)
- system_ruleset.c
- 5引数でないといけない理由を文書化しとく

倉庫 †

名前 †

案1：once

書き方による反応の違い †

n($x) :- int($x), uniq($x) | .

論理学的に意味のあるようなルールだからあるべき。

n($x) :- int($x), uniq | .

ヘッドに書けばいいのでは。この書き方はいるのか？

n($a, $b), n($c, $d) :- uniq($a, $b, $c, $d) | .
n($a, $b), n($c, $d) :- uniq($a, $b), uniq($c, $d) | .

現在のuniqでは二つとも同じ結果になる。これを別々の結果になるようにするのか？
- 参考：2008/10/10(Fri)?