Functional Logic Programming
Edit Page
Report
Scan day: 16 February 2014 UTC
14
Virus safety - good
Description: Michael Hanus's pages on amalgamating functional and logic programming.
aims to amalgamate the most important declarative programming paradigms, namely . In comparison with pure functional languages, functional logic languages have more expressive power due to the availability of features like function inversion, partial data structures, existential variables, and non-deterministic search. In comparison with pure logic languages, functional logic languages have a more efficient operational behavior since functions provide for more efficient evaluation strategies (lazy evaluation, deterministic reductions) than predicates. Early research in this area has been concentrated on the definition and improvement of appropriate execution principles for functional logic languages. In recent years efficient
Size: 735 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Functional Logic Programming |
| Keywords: | functional logic programming,logic programming,functional programming,declarative programming |
| Description: | The Functional Logic Language Curry |
| IP-address: | 134.245.248.200 |
WHOIS Info
| NS | |
| WHOIS | Status: connect |
| Date | Changed: 2008-01-14T15:31:15+01:00 Changed: 2008-01-14T15:19:45+01:00 Changed: 2006-08-31T11:37:28+02:00 |