Sökning: "prolog"
Visar resultat 1 - 5 av 15 avhandlingar innehållade ordet prolog.
1. Compilation Techniques for Prolog
Sammanfattning : .... LÄS MER
2. Data-parallel Implementation of Prolog
Sammanfattning : .... LÄS MER
3. Representation of Compositional Relational Programs
Sammanfattning : 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. LÄS MER
4. Contributions to the declarative approach to debugging Prolog programs
Sammanfattning : 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. LÄS MER
5. Design and Implementation of an OR-Parallel Prolog Engine
Sammanfattning : .... LÄS MER