Abstract
A relational-functional kernel language is introduced that integrates essential declarative constructs: logic variables and nondeterminism from the relational paradigm with nested and higher-order operations from the functional paradigm. Operator definitions use ‘valued clauses”, subsuming relational Horn clauses and functional (conditional or unconditional) directed equations. Their semantics complements the atoms in relational Herbrand models by “molecules”, which pair functions, applied to argument terms, with returned-value terms. All abstract notions are illustrated by concrete declarative programs.
Preview
Unable to display preview. Download preview PDF.
References
Harold Boley. Extended Logic-plus-Functional Programming. In Lars-Henrik Eriksson, Lars Hallnäs, and Peter Schroeder-Heister, editors, Proceedings of the 2nd International Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, volume 596 of LNAI. Springer, 1992.
Harold Boley. A Direct Semantic Characterization of RELFUN. In E. Lamina and P. Mello, editors, Proceedings of the 3rd International Workshop on Extensions of Logic Programming, ELP '92, Bologna 1992, volume 660 of LNAI. Springer, 1993.
Harold Boley, Markus Perling, and Michael Sintek. Transforming Workpiece Geometries into Lathe-NC Programs by Qualitative Simulation. In 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics. Wissenschaft und Technik Verlag, Berlin, August 1997.
Michael Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19,20:583–628, 1994.
Michael Hanus. A Unified Computation Model for Functional and Logic Programming. In POPL'97, Paris 1997.
John W. Lloyd. Combining Functional and Logic Programming Languages. In 1994 International Logic Programming Symposium, ILPS'94.
J. A. Robinson and E. E. Sibert. LOGLISP: An Alternative to Prolog. Machine Intelligence, 10:399–419, 1982.
Peter Van Roy. 1983–1993: The Wonder Years of Sequential Prolog Implementation. The Journal of Logic Programming, 19, 20:385–441, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Boley, H. (1997). A relational-functional integration for declarative programming. In: Freksa, C., Jantzen, M., Valk, R. (eds) Foundations of Computer Science. Lecture Notes in Computer Science, vol 1337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052103
Download citation
DOI: https://doi.org/10.1007/BFb0052103
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63746-2
Online ISBN: 978-3-540-69640-7
eBook Packages: Springer Book Archive