Functional Logic Programming

被引：63

作者：

Antoy, Sergio ^{[1
]}

Hanus, Michael ^{[2
]}

机构：

[1] Portland State Univ Portland, Portland, OR USA

[2] Univ Kiel, D-24098 Kiel, Germany

来源：

COMMUNICATIONS OF THE ACM | 2010年 / 53卷 / 04期

关键词：

Application programs - Computation theory - Functional programming - Computer circuits - Logic programming;

D O I：

10.1145/1721654.1721675

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The evolution of programming languages is the stepwise introduction of abstractions hiding the underlying computer hardware and the details of program execution. Assembly languages introduce mnemonic instructions and symbolic labels for hiding machine codes and addresses. Fortran introduces arrays and expressions in standard mathematical notation for hiding registers. Algol-like languages introduce structured statements for hiding gotos and jump labels. Object-oriented languages introduce visibility levels and encapsulation for hiding the representation of data and the management of memory. Along these lines, declarative languages-the most prominent representatives of which are functional and logic languages-hide the order of evaluation by removing assignment and other control statements. A declarative program is a set of logical statements describing properties of the application domain. The execution of a declarative program is the computation of the value(s) of an expression with. © 2010 ACM.

引用

页码：74 / 85

页数：12

共 39 条

[1]

ALBERT E, 2002, J FUNCTIONAL LOGIC P, V1

[2] Evaluation strategies for functional logic programming [J].

Antoy, S .

JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (01) :875-903

[3]

ANTOY S, 1992, LECT NOTES COMPUT SC, V632, P143, DOI 10.1007/BFb0013825

[4] A needed narrowing strategy [J].

Antoy, S ;

Echahed, R ;

Hanus, M .

JOURNAL OF THE ACM, 2000, 47 (04) :776-822

[5]

ANTOY S, 2002, LECT NOTES COMPUT SC, V2441, P67

[6] Overlapping rules and logic variables in functional logic programs [J].

Antoy, Sergio ;

Hanus, Michael .

LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 :87-101

[7] Declarative programming with function patterns [J].

Antoy, Sergio ;

Hanus, Michael .

LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2006, 3901 :6-22

[8]

Antoy Sergio., 2001, Proc. of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, P199, DOI [10.1145/773184.773205, DOI 10.1145/773184.773205]

[9]

Bezem M., 2003, Term Rewriting Systems

[10] Run-time profiling of functional logic programs [J].

Brassel, B ;

Hanus, M ;

Huch, F ;

Silva, J ;

Vidal, G .

LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 :182-197

← 1 2 3 4 →