NATURAL EXPERT: a commercial functional programming environment

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.

[1]  Thomas Johnsson,et al.  The Chalmers Lazy-ML Compiler , 1989, Computer/law journal.

[2]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[3]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[4]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[5]  Alexandra Poulovassilis,et al.  Extending the Functional Data Model to Computational Completeness , 1990, EDBT.

[6]  Ake Wikstrom,et al.  Functional programming using standard ML , 1987 .

[7]  D. A. Turner,et al.  Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.

[8]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[9]  Phil Trinder,et al.  A functional database (databases) , 1989 .

[10]  Guy L. Steele,et al.  Common Lisp the Language , 1984 .

[11]  Rod M. Burstall,et al.  HOPE: An experimental applicative language , 1980, LISP Conference.

[12]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[13]  Ronald Morrison,et al.  Data Types and Persistence , 1988 .

[14]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[15]  Gerald J. Sussman,et al.  Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[16]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[17]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[18]  John Launchbury,et al.  Constructing Natural Language Interpreters in a Lazy Functional Language , 1989, Comput. J..

[19]  Simon Peyton Jones,et al.  The Implementation of Functional Programming Languages (Prentice-hall International Series in Computer Science) , 1987 .