PROPOSITIONAL LOGIC PROGRAMMING AND THE PRIZ SYSTEM

被引：9
|
作者：
MINTS, GE
TYUGU, EH
机构：
来源：
JOURNAL OF LOGIC PROGRAMMING | 1990年 / 9卷 / 2-3期
关键词：
D O I：
10.1016/0743-1066(90)90039-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Logic programming is understood as the use of constructive proofs for building correct programs. We illustrate the application of this approach in the framework of propositional calculus and outline the PRIZ programming system, which has intuitionistic propositional calculus as its logical basis. The relation of the deductive program synthesis to constraint propagation and the introduction of parallelism are considered. © 1990.
引用
收藏
页码：179 / 193
页数：15
相关论文
共 50 条
12345