Sökning: "Andreas Kågedal"
Hittade 1 avhandling innehållade orden Andreas Kågedal.
1. Logic programming with external procedures : an implementation
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
Resultatsidor:
1