...ことを示す

findall/3 は SICStus Prolog の組み込み述語 になっていて、 setof/3( setof( Templete, Goal, Set))と類似しているが、大ざっぱにいうと List は重複した要素を 許すこと、ソートされていないこと、存在限量子を宣言しなくてもよいことな どの点で異なる。

...を用いることを許している

ただし変数 Fi は呼び出されるときに束縛されているように プログラミングする必要がある。

...この回路の故障モデルをPRISMプログラムで記述する

ただし Poole は時間を考慮に入れていたが、ここでは省略する。

www-admin@icot.or.jp