Sökning: "Andreas Kågedal"

Hittade 1 avhandling innehållade orden Andreas Kågedal.

  1. 1. Logic programming with external procedures : an implementation

    Författare :Andreas Kågedal; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This work aims at combining logic programs with functions written in other languages, such that the combination preserves the declarative semantics of the logic program. S-Unification, as defined by S. Bonnier and J. Maluszynski, provides a theoretical foundation for this. LÄS MER