「シグマ計算って〜」というような会話を耳にして、「おっ、例のσ-calculusか」と思ったら、合計を表わす∑の話だった……
これが話に聞く、あろ〜むか。
一部のPrologの処理系はfreezeという述語を持っていて、これは lazy evaluation のために使われる。
発表資料。