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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Annotated logic programming


    Contributors:


    Publication date :

    1995-01-01


    Size :

    334108 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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