Blog
About

130
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Strictly Level-Decreasing Logic Programs

      ,

      2nd Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      2-3 July 1998

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic programs, have both a highly intuitive declarative semantics, given as a unique supported model, and are computationally adequate in the sense that every partial recursive function can be represented by some sld-program P. Allowing for a safe use of cuts, an interpreter based on SLDNF-resolution, as implemented for example in standard Prolog systems, is shown to be sound and complete with respect to this class of programs. Furthermore, we study connections between topological dynamics and logic programming which are suggested by our approach to the declarative semantics of sld-programs.

          Related collections

          Most cited references 5

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          On the Declarative Semantics of Deductive Databases and Logic Programs

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Dynamical Systems, Measures, and Fractals via Domain Theory

             A. Edalat (1995)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Reasoning about Termination of Pure Prolog Programs

               D Pedreschi,  K.R. Apt (1993)
                Bookmark

                Author and article information

                Contributors
                Conference
                July 1998
                July 1998
                : 1-18
                Affiliations
                Department of Mathematics, National University of Ireland

                Cork, Ireland
                Mathematische Fakultät, Universität Tübingen

                Tübingen, Germany
                Article
                10.14236/ewic/FM1998.12
                © Anthony Karel Seda et al. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                2nd Irish Workshop on Formal Methods
                FM
                2
                Cork, Ireland
                2-3 July 1998
                Electronic Workshops in Computing (eWiC)
                Irish Workshop on Formal Methods
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article