Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 79 for “"prolog"”.
-
Automatic parallelization of Prolog programs
Prolog has a number of advantages for use in rapid prototyping. The explotation of parallelism holds the promise of making these prototypes directly executable. This dissertation addresses the parallel execution of Prolog programs without restricting the language to a pure subset or requiring user …
-
Prolog implementation in robot kinematics
The purpose of this study is to implement the advantages of the relatively new field of expert systems to robot kinematics. The research presented in this thesis illustrates the progress in combining the two fields. An expert system used to solve the kinematic equations of general purpose robots is …
-
PEDIT-- a resident structure editor for PROLOG
Typescript (photocopy).
-
Prolog and artificial intelligence in chemical engineering
This dissertation deals with applications of Prolog and Artificial Intelligence (AI) to chemical engineering, and in particular, to the area of chemical process synthesis. We introduce the language Prolog (chapters 1-9), discuss AI techniques (chapters 10-11), discuss EXSEP, the EXpert System for …
-
Extending Prolog with type inheritance and arithmetic
Prolog is a logic programming language based on first order logic. It uses resolution as a rule of inference, and unification is the heart of resolution. The unification algorithm is a syntactic process and hence attaches no meaning to function and predicate symbols. We incorporate arithmetic into …
-
Constraint satisfaction - an alternate approach to unification in Prolog
Prolog is a linear resolution theorem prover with restrictions on the form of the clauses to prune the search space. Although Prolog has been widely used for implementing natural language systems, database systems, knowledge based expert systems and other A.I tasks, it has many limitations. The …
-
Investigation of a tagged computer architecture for the Prolog language
Call number: LD2668 .R4 EECE 1988 M44
-
Memory Management and Garbage Collection Algorithms for Java-Based Prolog
Implementing a Prolog Runtime System in a language like Java which provides its own automatic memory management and safety features such as built--in index checking and array initialization requires a consistent approach to memory management based on a simple ultimate goal: minimizing total memory …
-
The Design and Implementation of a Prolog Parser Using Javacc
Operatorless Prolog text is LL(1) in nature and any standard LL parser generator tool can be used to parse it. However, the Prolog text that conforms to the ISO Prolog standard allows the definition of dynamic operators. Since Prolog operators can be defined at run-time, operator symbols are not …
-
A formal specification based approach to feature interaction: Application with Prolog.
The rapid growth of new services for telecommunication and multimedia systems is being challenged by the feature interaction problem. A number of approaches for managing feature interaction have been proposed. A relational method for specifying software systems and detecting features interactions …
-
Sistema percial em PROLOG no diagnóstico do potencial agrícola de solos
… suportado pela programação em lógica (linguagem PROLOG), baseado em regras com raciocínio difuso, possibilitando a utilização do conhecimento dos peritos declarados em literatura e armazenados na base de conhecimento do sistema. Foi proposto um sistema pericial que constituiu de um mecanismo …
-
An application of formal semantics to student modelling : an investigation in the domain of teaching Prolog
… programming languages and within that domain Prolog was selected to be the target language for this exploration. The problem considered is one of how to analyse students' errors at a level which allows diagnosis to be more flexible and meaningful than is possible with the 'mal-rules' and …
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
… from the theory. In logic programming, where Prolog is one of the most popular incarnations of that paradigm, the theory is that of logical deduction. Efficient implementations able to compete with many other high-level languages, and its flexibility, made Prolog a very good framework to …
Page 1 of 4