逻辑程序语言相关论文
逻辑程序语言又叫说明语言,这是因为用它编写的程序中,说明语句多于赋值语句或流程控制语句。逻辑程序语言的一个最基本的特征是它的......
本文首先讨论了引入集合的意义,然后建立了一种基于集合基贩归约演算,并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一......