Natural expert: A commercial functional programming environment

Journal of Functional Programming

Volumn 7, Issue 2, 1997, Pages 163-182

  Hutchison, Nigel W O ^a   Neuhaus, Ute ^a   Schmidt Schauss, Manfred ^b   Hall, Cordy V ^c  

^a Software AG   (Germany)

^b GOETHE UNIVERSITY   (Germany)

^c UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031515845     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796897002657     Document Type: Article

References (27)

1. Atkinson, M. P., Buneman, P. and Morrison, R. (1988) Data Types and Persistence. Springer-Verlag.
2. Abelson, H. and Sussman, G. J. (1984) The Structure and Interpretation of Computer Programs. MIT Press.
3. Augustsson, L. and Johnsson, T. (1989) The Chalmers lazy-ML compiler. The Computer Journal, 32(2), 127-141.
4. Brachman, R. and Schmolze, J. (1985) An overview of the KL-ONE knowledge representation system. Cognitive Science, 171-216.
5. Burstall, R. M., McQueen, D. B. and Sanella, D. T. (1980) Hope: an experimental applicative language. Proc. ACM Symposium on Lisp and Functional Programming, pp. 136-143.
6. Backus, J. (1978) Can programming be liberated from the von Neumann style. Communications of the ACM, 21(8), 613-644.
7. Bird, R. and Wadler, P. (1988) Introduction to Functional Programming. Prentice Hall.
8. Buneman, O. P, Frankel, R. E and Nikhil, R. (1982) An implementation technique for database query languages. ACM Transactions on Database Systems, 7(2), June, 164-186.
9. Chen P. P. (1976) The Entity-Relationship model: towards a unified view of data. ACM Transactions on Database Systems, 1(1), March.
10. Clocksin, W. F. and Mellish, C. S. (1981) Programming in Prolog. Springer-Verlag.
11. Frost, R. and Launchbury, J. (1989) Constructing natural language interpreters in a lazy functional language. The Computer Journal, 32(2), 108-121.
12. Hudak, P., Wadler, P. et al. (1990) Report on the programming language Haskell, Technical Report YALEU/DCS/RR-777, Yale University, Department of Computer Science.
13. McCarthy, J. (1960) Recursive function of symbolic expressions and their computation by machine. Part I. Communications of the ACM, 3(4),184-195.
14. Milner, R. (1978) A theory of type polymorphism in programming. Journal of Computer and System Sciences, (17), 348-375.
15. Milner, R. (1984) The standard ML core language. Internal report CSR-168-84, Edinburgh University.
16. Turner, D. (1985) Miranda: a non-strict functional language with polymorphic types. Proc. IFIP International Conference on Functional Programming Languages and Computer Architecture, Nancy, France. Lecture Notes in Computer Sciences 201. Springer-Verlag.
17. Montague, R. (1973) The proper treatment of quantification in ordinary English. In Hintakka, K. J. J. (ed.), Approaches to Natural Languages. Kluwer.
18. Peyton Jones, S. L. (1987) The Implementation of Functional Languages. Prentice-Hall.
19. Poulovassilis, A. and King, P. (1990) Extending the functional data model to computational completeness. Advance in Database Technology (EDBT 90). Lecture Notes in Computer Science 416. Springer-Verlag.
20. Software AG (1990a) NATURAL EXPERT Reference Manual 1.1.2.
21. Software AG (1990b) NATURAL EXPERT Reference Manual 1.1.3.
22. Software AG (1990c) NATURAL Reference Manual 2.1.
23. Sastre, J. and Frias, J. (1990) Satelite, "Lenguaje natural en exploitacion". Bulletin de AEPIA (Associaon Espanola para la Intelligencia Artificial), 12-13.
24. SAVOIR Expert System Package (1985) Users Manual 1.2. ISI Limited, 11 Oakdene Road, Redhill, Surrey RH1 6BT, UK.
25. Steele G. L. (1984) Common Lisp: The Language. Digital Press.
26. Trinder, P. (1989) A functional database. PhD Thesis, Department of Computer Science, University of Glasgow.
27. Wikstroem, A. (1987) Functional Programming using Standard ML. Prentice-Hall.