TOWARD INTEGRATION OF THE IMPERATIVE AND LOGIC PROGRAMMING PARADIGMS - HORN-CLAUSE PROGRAMMING IN THE PASCAL ENVIRONMENT

被引：0

作者：

RADENSKY, A ^{[1
]}

机构：

[1] UNIV SOFIA,DEPT MATH & COMP SCI,BU-1126 SOFIA,BULGARIA

来源：

SIGPLAN NOTICES | 1990年 / 25卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：25 / 34

页数：10

相关论文

共 5 条

[1] THE RELATION BETWEEN LOGIC AND FUNCTIONAL LANGUAGES - A SURVEY
BELLIA, M
LEVI, G
[J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03): : 217 - 236
[2] Clocksin W. F., 1981, PROGRAMMING PROLOG
[3] ALGORITHM = LOGIC + CONTROL
KOWALSKI, R
[J]. COMMUNICATIONS OF THE ACM, 1979, 22 (07) : 424 - 436
[4] THE PROGRAMMING LANGUAGE OBERON
WIRTH, N
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (07) : 671 - 690
[5] F LOGIC PROGRAMMING