N.W.O. Hutchison, U. Neuhaus, M. Schmidt-Schauss, C. V. Hall  Home/Search
Context Related
| dcs.gla.ac.uk/pub/..._natural_expert.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.jussieu.fr...p.dcs.gla.ac.uk (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Context of citations to this paper: More
.... embedded in a system of unique types as in Clean [NSvP91, Ach96] In the commercial non strict functional programming language Natural EL [HNSSH97] these interactions were implemented as direct calls. The intention of this paper is twofold: On the one hand a non deterministic...
...was a trade secret. Natural Expert is an expert system shell marketed by Software AG, which interfaces to a database system called Natural [3]. Users write shell programs in a language similar to Haskell. Lazy evaluation is essential to manage interaction with the database,...
Cited by: More
An Angry Half-Dozen - Wadler (1998) (Correct)
A Partial Rehabilitation of Side-Effecting I/O.. - Schmidt-Schauß (1996) (Correct)
Lazy vs. Strict - Wadler (1996) (Correct)
Active bibliography (related documents): More All
0.2: Orthogonally Persistent Object Systems - Atkinson, Morrison (1995) (Correct)
0.2: Delivering the Benefits of Persistence to System Construction and.. - Cutts (1992) (Correct)
0.2: A Survey of Object Oriented Databases - Demeyer (1992) (Correct)
Similar documents based on text: More All
0.1: Voltage Sag Measurement And Characterisation - This Technical Note (Correct)
0.1: An Expanded Logical Formalism for Head-Driven Phrase Structure.. - King (1994) (Correct)
0.1: Dissociations Between Argument Structure And Grammatical.. - Manning, Sag (1999) (Correct)
Related documents from co-citation: More All
3: A call-by-need lambda calculus - Ariola, Felleisen et al. - 1995
2: Nondeterministic functional programming with sets (context) - Hughes, O'Donnell - 1990
2: A natural semantics for lazy evaluation - Launchbury - 1993
BibTeX entry: (Update)
N.W.O. Hutchison, U. Neuhaus, M. SchmidtSchau ß, and C.V Hall. Natural Expert: A commercial functional programming environment. J. of Functional Programming, 7(2):163--182, 1997. http://citeseer.ist.psu.edu/hutchison93natural.html More
@article{ hutchison97natural,
author = "Nigel W. O. Hutchison and Ute Neuhaus and Manfred Schmidt-Schaus and Cordelia V. Hall",
title = "Natural Expert: A Commercial Functional Programming Environment",
journal = "Journal of Functional Programming",
volume = "7",
number = "2",
pages = "163-182",
year = "1997",
url = "citeseer.ist.psu.edu/hutchison93natural.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
637 The Entity-Relationship Model: Towards a Unified View of Dat.. (context) - Chen - 1976
484 Common Lisp: The Language (context) - Steele - 1984
480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
430 The structure and interpretation of computer programs (context) - Abelson, Sussman - 1984
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
333 Introduction to functional programming (context) - Bird, Wadler - 1988
273 Can programming be liberated from the von Neumann style (context) - Backus - 1978
257 Report on the programming language Haskell (context) - Hudak, Wadler - 1990
139 Recursive function of symbolic expressions and their computa.. - McCarthy - 1960
95 Hope: an experimental applicative language - Burstall, McQueen et al. - 1980
64 The Chalmers lazy-ML compiler (context) - Augustsson, Johnsson - 1989
30 The standard ML core language (context) - Milner - 1984
23 An Implementation Technique for Database Query Languages (context) - Buneman, Frankel et al. - 1982
13 Constructing natural language interpreters in a lazy functio.. (context) - Frost, Launchbury - 1989
4 Data Types and Persistence (context) - Atkinson, Buneman et al. - 1988
2 Natural Expert Reference Manual (context) - AG - 1990
2 Natural Expert Reference Manual (context) - AG - 1990
1 A functional database, Ph. D. Thesis, Dept of Comp. Sci., Un.. (context) - Trinder - 1987
1 Natural Reference Manual (context) - AG - 1990
1 Lenguaje natural en exploitacion (context) - Sastre, Frias - 1990
1 ISI Limited (context) - Expert, Package et al. - 1985
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.dcs.gla.ac.uk.html): More
Space-saving Optimisations for the Glasgow Haskell Compiler - O'Sullivan (1994) (Correct)
ESPRIT Basic Research Action 6309 FIDE - Deliverable Id (Correct)
Formally Based Profiling for Higher-Order Functional Languages - Sansom, Jones (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC