Università di Pisa
Sistema bibliotecario di ateneo

Programming by Combining General Logic Programs

Brogi, Antonio and Contiero, Simone and Turini, Franco (1997) Programming by Combining General Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (88Kb)


    The program composition approach can be fruitfully applied to combine general logic programs, i.e. logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) composition operations over general programs increases the knowledge representation capabilities of logic programming for non-monotonic reasoning. Examples of modular programming, hierarchical reasoning, constraints and rules with exceptions will be illustrated. The semantics of programs and program compositions is defined in terms of three-valued logic. The computational interpretation of program compositions is formalised by an equivalence preserving syntactic transformation of arbitrary program compositions into standard general programs.

    Item Type: Book
    Uncontrolled Keywords: Logic programming, program composition, non-monotonic reasoning, three-valued logic.
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 23 Jan 2015 11:11
    Last Modified: 23 Jan 2015 11:11
    URI: http://eprints.adm.unipi.it/id/eprint/1966

    Repository staff only actions

    View Item