We give a formal account of an annotated logic programming language, describe its semantics, and provide a meta-interpreter written in Prolog for performing deductive reasoning. The goal is to enhance the expressiveness of logic programs while simultaneously retaining the computational advantages of efficiency and simplicity of the underlying logic programming machinery.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Annotated logic programming


    Beteiligte:


    Erscheinungsdatum :

    01.01.1995


    Format / Umfang :

    334108 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Annotated Logic Programming

    Thirunarayan, K. / IEEE / Dayton Section| IEEE et al. | British Library Conference Proceedings | 1995


    An Automated Safety Verification System for Railway Interlocking Based on Extended Vector Annotated Logic Programming

    Nakamatsu, K. / Nagashima, J. / Abe, J. M. et al. | British Library Conference Proceedings | 2001


    Logic and Programming

    Parent, Michel | TIBKAT | 1984


    Logic Programming for expert systems

    Hammond, Peter | TIBKAT | 1980


    Constraint logic programming and scheduling

    Esquirol, P. / Lopez, P. | British Library Online Contents | 1995