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 [J].

BELLIA, M ;

LEVI, G .

JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03) :217-236

[2]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[3] ALGORITHM = LOGIC + CONTROL [J].

KOWALSKI, R .

[4] THE PROGRAMMING LANGUAGE OBERON [J].

WIRTH, N .

[5]

F LOGIC PROGRAMMING