Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
Structure and interpretation of computer programs
Structure and interpretation of computer programs
Common LISP: the language
Functional programming using standard ML
Functional programming using standard ML
Constructing natural language interpreters in a lazy functional language
The Computer Journal - Special issue on Lazy functional programming
The Computer Journal - Special issue on Lazy functional programming
Extending the functional data model to computational completeness
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
An introduction to functional programming
An introduction to functional programming
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Data Types and Persistence
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A functional database (databases)
A functional database (databases)
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
ACM Computing Surveys (CSUR)
A non-deterministic call-by-need lambda calculus
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |
NATURAL EXPERT is a product that allows users to build knowledge-based systems. It uses a lazy functional language, NATURAL EXPERT LANGUAGE, to implement backward chaining and provide a reliable knowledge processing environment in which development can take place. Customers from all over the world buy the system and have used it to handle a variety of problems, including applications such as airplane servicing and bank loan assessment. Some of these are used 10,000 times or more per month.