Functional-logic integration via minimal reciprocal extensions

Theoretical Computer Science

Volumn 212, Issue 1-2, 1999, Pages 77-99

  Boley, Harold ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

Functional programming; Herbrand models; Innermost conditional narrowing; Logic programming; WAM compilation

Indexed keywords

EID: 0347662273     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00136-4     Document Type: Article

References (29)

1. H. Ait-Kaci, A. Podelski, Logic programming with functions over order-sorted feature terms, in: E. Lamma, P. Mello (Eds.), Proc. 3rd Internat. Workshop on Extensions of Logic Programming, ELP '92, Bologna 1992, Lecture Notes in Artificial Intelligence, vol. 660, Springer, Berlin, 1993.
2. H. Boley, A relational/functional language and its compilation into the WAM, Tech. Report SEKI SR-90-05, University of Kaiserslautern, Department of Computer Science, April 1990.
3. H. Boley, Declarative operations on nets, in: F. Lehmann, (Ed.), Semantic Networks in Artificial Intelligence, vol. 23, Special Issue of Computers & Mathematics with Applications, Pergamon Press, 1992, pp. 601-637. Preprinted as: DFKI Research Report RR-90-12, October 1990.
4. H. Boley, Extended Logic-plus-Functional Programming, in: L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister, (Eds.), Proc. 2nd Internat. Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, Lecture Notes in Artificial Intelligence, vol. 596, Springer, Berlin, 1992.
5. H. Boley, A direct semantic characterization of RELFUN, in: E. Lamma, P. Mello, (Eds.), Proc. 3rd Internat. Workshop on Extensions of Logic Programming, ELP '92, Bologna 1992, Lecture Notes in Artificial Intelligence, vol. 660, Springer, Berlin, 1993.
6. H. Boley, Finite domains and exclusions as first-class citizens, in: R. Dyckhoff, (Ed.), Proc. 4th Internat. Workshop on Extensions of Logic Programming, ELP '93, St. Andrews, Scotland, 1993, Lecture Notes in Artificial Intelligence, vol. 798, Springer, Berlin, 1994.
7. H. Boley, U. Buhrmann, C. Kremer, Towards a sharable knowledge base on recyclable plastics, in: J.K. McDowell, K.J. Meltsner, (Eds.), Knowledge-Based Applications in Materials Science and Engineering, TMS, 1994, pp. 29-42.
8. H. Boley, K. Elsbernd, H.-G. Hein, T. Krause, M. Perling, M. Sintek, W. Stein, RFM Manual: Compiling RELFUN into the Relational/Functional Machine, Document D-91-03, DFKI GmbH, 3rd, Revised ed, July 1996.
9. H. Boley, M. Perling, M. Sintek, Transforming workpiece Geometries into Lathe-NC programs by qualitative simulation, in: U. Geske (Ed.), Session on Simulation with Knowledge-Based Systems of the 15th IMACS World Congr. on Scientific Computation, Modelling and Applied Mathematics. Wissenschaft und Technik Verlag, Berlin, August 1997.
10. P.G. Bosco, E. Giovannetti, C. Moiso, Narrowing vs. SLD-resolution, Theoret. Comput. Sci. 59 (1988) 3-23.
11. W. Chen, Mi. Kifer, D.S. Warren, HiLog: a foundation for higher-order logic programming, J. Logic Programming 15 (1993) 187-230.
12. D. DeGroot, G. Lindstrom (Eds.), Logic Programming: Functions, Relations, and Equations. Prentice-Hall, Englewood Cliffs, NJ, 1986.
13. N. Dershowitz, Goal solving as operational semantics, in: J. Lloyd (Ed.), Proc. Internat. Symp. on Logic Programming, MIT Press, Cambridge, December 1995, pp. 3-17.
14. J.H. Fasel, P. Hudak, S. Peyton-Jones, P. Wadler, Special issue on the functional programming language Haskell, SIGPLAN Notices, 27(5), 1992.
15. L. Fribourg, Oriented equational clauses as a programming language. J. Logic Programming 1 (2) (1984) 165-177.
16. L. Fribourg, SLOG: a logic programming language interpreter based on clausal superposition and rewriting, in: 1985 Symp. on Logic Programming, IEEE Computer Society Press, Silver Spring, MD, 1985, pp. 172-184.
17. J.C. Gonzalez-Moreno, M.T. Hortala-Gonzalez, M. Rodriguez-Artalejo, A higher order rewriting logic for functional logic programming, in: The 14th Internat. Conf. on Logic Programming, ICLP'97.
18. W. Hans, R. Loogen, S. Winkler, On the interaction of lazy evaluation and backtracking, in: Proc. Symp. on Programming Language Implementation and Logic Programming, PLILP '92, Lecture Notes in Computer Science, Springer, Berlin, 1992.
19. M. Hanus, Efficient implementation of narrowing and rewriting, in: H. Boley, M.M. Richter, (Eds.), Proc. Internat. Workshop on Processing Declarative Knowledge (PDK'91), Lecture Notes in Artificial Intelligence, vol. 567, Springer, Berlin, 1991.
20. M. Hanus, The integration of functions into logic programming: from theory to practice, J. Logic Programming 19 (20) (1994) 583-628.
21. M. Hanus. A unified computation model for functional and logic programming, in: POPL'97, Paris, 1997.
22. P. Henderson, Functional Programming - Application and Implementation, Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, 1980.
23. P.M. Hill, J.W. Lloyd, The Gödel Programming Language, Logic Programming Series, MIT Press, Cambridge, 1994.
24. J.W. Lloyd, Foundations of Logic Programming, Springer, Berlin, 1987.
25. J.W. Lloyd, Combining functional and logic programming languages, in: 1994 Internat. Logic Programming Symp., ILPS'94.
26. M. Sintek, ORF - Object-Centered RELFUN, DFKI Kaiserslautern, November 1993.
27. M. Sintek, FLIP: functional-plus-logic programming on an integrated platform, Tech. Memo TM-95-02, DFKI GmbH, May 1995.
28. D.H.D. Warren, Higher-order extensions to PROLOG: are they needed? Mach. Intelligence 10 (1982) 441-454.
29. D.H.D. Warren, An abstract PROLOG instruction set, Tech. Report 309, SRI International, AI Center, 1983.