1990年第一个RCLP:俄罗斯伊尔库茨克
2.RCLP 1991年:俄罗斯圣彼得堡
安德烈·沃伦科夫 :
逻辑编程,第一届俄罗斯逻辑编程会议,俄罗斯伊尔库茨克,1990年9月14日至18日——第二届俄罗斯逻辑程序会议,俄罗斯圣彼得堡,1991年9月11日至16日,会议记录。 计算机科学课堂讲稿 592, 施普林格 1992 ,国际标准图书编号 3-540-55460-2 伊夫·贝克 , 吕西安·恩加罗 :
Prolog的实时内存管理。 1-12 穆尼拉·贝尔梅斯克 :
逻辑程序的过程语义。 13-26 伊贡·博格尔 , 蓖麻Elvinia Riccobene :
Parlog的逻辑操作语义。 第二部分:Or-Parallelism。 27-34 伊贡·博格尔 , 罗森茨威格院长 :
WAM代数:实现的数学研究,第2部分。 35-54 A.G.邦达连科 :
非单调推理的推理系统。 55-65 弗拉基米尔·博什切夫 :
算法运算符的属性。 66至78 于德米特里。 布朗格 :
使用抽象解释的深层逻辑程序转换。 79-101 安东尼奥·布罗吉 , 伊芙琳娜·拉姆 , 保拉·梅洛 :
逻辑编程框架中的对象。 102-113 弗朗索瓦·布里 , Rainer Manthey公司 , 伯恩·马滕斯 :
知识库中的完整性验证。 114-139 斯蒂芬妮娅·科斯坦蒂尼 , 盖塔诺·奥雷利奥·兰扎隆 :
元级否定的程序语义。 140-151 叶夫根尼·丹钦 :
概率逻辑程序及其语义。 152-164 巴特·德梅恩 , 安德烈·马里恩 :
Prolog作为二进制定义程序的实现。 165-176 亚历山大·贾。 迪科夫斯基 :
测量空间消耗的Prolog语义。 177-192 Wai-Keong Foong公司 :
或者具有启发式任务分配的并行Prolog。 193-200 汉斯-根特-海因 , 曼弗雷德·梅耶 :
WAM编译方案。 201-214 马丁·汉森 :
编程逻辑TK中的安全正归纳法。 215至231 S.Ivanets公司 , N.伊林斯基 , M.Krylov先生 :
SIMD计算机上并行执行的WAM规范。 232-239 格尔达·詹森 , 莫里斯·布吕诺格 :
关于逻辑程序的过程行为的抽象。 240-262 诺伯特·凯勒 , 古斯塔夫·诺依曼 :
以声明方式处理增强的实体关系模型。 263-270 叶夫根尼·基塔耶夫 :
PROLOG中基本正则术语的处理。 271-285 安德烈·曼奇沃达 , 维亚切斯拉夫·佩图金 :
正在编译Flang。 286-293 曼弗雷德·梅耶 , 汉斯·格恩特·海因 , Jörg P.Müller先生 :
FIDO:逻辑编程中的有限域一致性技术。 294-301 皮耶朗基罗·米利奥利 , 乌戈·莫斯卡托 , 马里奥·奥尔纳吉 :
数据库理论的构造逻辑方法。 302-321 戴尔·米勒 :
抽象语法和逻辑编程。 322-337 弗拉基米尔·奈曼 :
广义项演绎。 338-348 古斯塔夫·诺依曼 :
从Prolog编写的元级解释器到编译器的简单转换及其实现。 349-360人 米歇尔·帕里格特 :
自由推导:对经典逻辑中“计算”的分析。 361-380 艾达-普勒斯基维新世 :
模态逻辑S4的Gentzen型微积分与Barcan公式。 381-390 Regimantas Pliuskevicius公司 :
基于一阶线性时序逻辑的逻辑程序设计的逻辑基础。 391-406 大卫·M·W·鲍尔斯 :
伪解析逻辑编程。 407-414 T·J·雷诺兹 , Petros Kefalas公司 :
BRAVE:Prolog的一种OR-并行方言及其在人工智能中的应用。 415-432 弗朗西斯科·罗素 , 米尔科·桑卡萨尼 :
DATALOG的声明性调试环境。 433-441 Jurate Sakalauskaite公司 :
具有显式时间的一阶线性时序逻辑的序列演算。 442-451 帕斯卡尔·塞比略 :
用于特性规范和传输控制的基于逻辑的语言。 452-461 保罗·塔劳 :
定义元程序编译的程序转换和WAM支持。 462-473 威比·范德霍克 :
关于逻辑PfD的一些思考。 474-485 安德烈·沃伦科夫 :
有界量词逻辑程序设计。 486-514