next up previous contents
Next: 変数はメモリ番地ではない Up: 1.3 データとシンタクス Previous: 1.3 データとシンタクス

1.3.1 論理変数

KL1などの論理型言語がCなどの手続き型言語ともっとも大きく異なるのは, 変 数の扱いである. 手続き型言語の変数とはっきり区別するために論理変数な どと呼ぶこともある. 論理変数は手続き型言語の変数よりも数学でいう「変 数」にずっと近いものである.





next up previous contents
Next: 変数はメモリ番地ではない Up: 1.3 データとシンタクス Previous: 1.3 データとシンタクス



KLIC