Horn clause programs and recursive functions defined by systems of equations
Kybernetika (1982)
- Volume: 18, Issue: 2, page 106-120
- ISSN: 0023-5954
Access Full Article
top
How to cite
topŠebelík, Jan. "Horn clause programs and recursive functions defined by systems of equations." Kybernetika 18.2 (1982): 106-120. <http://eudml.org/doc/27614>.
@article{Šebelík1982,
author = {Šebelík, Jan},
journal = {Kybernetika},
keywords = {logic programming; primitive recursive functions; recursive equations; unification; effective translators between Kleene's formalism of equations for defining the partial recursive functions and the Horn clause formalism; matching; Horn clause programs obtained from equations},
language = {eng},
number = {2},
pages = {106-120},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Horn clause programs and recursive functions defined by systems of equations},
url = {http://eudml.org/doc/27614},
volume = {18},
year = {1982},
}
TY - JOUR
AU - Šebelík, Jan
TI - Horn clause programs and recursive functions defined by systems of equations
JO - Kybernetika
PY - 1982
PB - Institute of Information Theory and Automation AS CR
VL - 18
IS - 2
SP - 106
EP - 120
LA - eng
KW - logic programming; primitive recursive functions; recursive equations; unification; effective translators between Kleene's formalism of equations for defining the partial recursive functions and the Horn clause formalism; matching; Horn clause programs obtained from equations
UR - http://eudml.org/doc/27614
ER -
References
top- C. L. Chang R. T. C. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press New York 1971. (1971)
- S. C. Kleene, Introduction to Metamathematics, North-Holland Publishing Co. - Amsterodam, P. Noordhoff N. V. - Groningen 1967. (1967)
- R. Kowalski, Logic for Problem Solving, North-Holland, New York 1979. (1979) Zbl0426.68002MR0572084
- J. Šebelík P. Štěpánek, Horn clause programs suggested by recursive functions, In: Prcceedings of the Logic Programming Workshop (S. Å. Tärnlund, ed.), Debrecen (Hungary), July 14-16, 1980. (1980)
- J. Šebelík P. Štěpánek, Horn clause programs for recursive functions, Preprint, 1980. (1980)
- S. Å. Tärnlund, Logic Information Processing, TRITA-IBADB-91029, 1975-11-24, Dept. Comp. Sci., Royal Institute of Tech., Stockholm 1975. (1975)
- S. Å. Tärnlund, Horn clause computability, BIT 17 (1977), 215-226. (1977) MR0491111
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.