There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 22

Record: found
Abstract: not found
Article: not found

The integration of functions into logic programming: From theory to practice

Michael Hanus (1994)

0 comments Cited 34 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

The execution algorithm of mercury, an efficient purely declarative logic programming language

Zoltán Somogyi, Fergus Henderson, Thomas Conway (1996)

0 comments Cited 34 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A needed narrowing strategy

Rachid Echahed, Sergio Antoy, Michael Hanus (2000)

0 comments Cited 27 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2002

Publication date (Online): October 24 2002

Pages: 67-87

DOI: 10.1007/3-540-45788-7_4

SO-VID: 167d23dd-335a-43ef-8da8-64fa3ba6a1d3

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 12

Multi-paradigm Declarative Languages
Authors: Michael Hanus
Declarative Programming with Function Patterns
Authors: Sergio Antoy, Michael Hanus
Functional Logic Programming: From Theory to Curry
Authors: Michael Hanus

See all cited by

Functional Logic Design Patterns

Read this book at

Related collections

Functional role of amyloid

Most cited references 22

The integration of functions into logic programming: From theory to practice

The execution algorithm of mercury, an efficient purely declarative logic programming language

A needed narrowing strategy

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,120

Cited by 12