Open AccessLogic Programming from the Perspective of Algebraic Semantics
Author(s) -
Jan A. Plaza
Publication year - 1996
Publication title -
fundamenta informaticae
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.311
H-Index - 67
eISSN - 1875-8681
pISSN - 0169-2968
DOI - 10.3233/fi-1996-281210
Subject(s) - semantics (computer science) , algebraic logic , connection (principal bundle) , perspective (graphical) , programming language , algebraic semantics , logic programming , mathematics , algebraic number , algebra over a field , computer science , theoretical computer science , pure mathematics , artificial intelligence , mathematical analysis , geometry
We present an approach to foundations of logic programming in which the connection with algebraic semantics becomes apparent. The approach is based on omega-Herbrand models instead of conventional Herbrand models. We give a proof of Clark's theorem on completeness of SLD-resolution by methods of the algebraic semantics. We prove the existence property for definite programs.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom