Search for dissertations about: "prolog"
Showing result 1 - 5 of 13 swedish dissertations containing the word prolog.
-
1. Compilation Techniques for Prolog
Abstract : .... READ MORE
-
2. Data-parallel Implementation of Prolog
Abstract : .... READ MORE
-
3. Representation of Compositional Relational Programs
Abstract : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. READ MORE
-
4. Contributions to the declarative approach to debugging Prolog programs
Abstract : Logic programs have the characteristic that their intended semantics can be expressed declaratively or operationally. Since the two semantics coincide, programmers may find it easier to adopt the declarative view when writing the program. But this causes a problem when the program is to be debugged. READ MORE
-
5. Design and Implementation of an OR-Parallel Prolog Engine
Abstract : .... READ MORE