We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham e-Theses
You are in:

Prolog and expert systems

Davies, Peter Leslie (1987) Prolog and expert systems. Doctoral thesis, Durham University.



The first part of the thesis provides an introduction to the logic programming language Prolog and some areas of current research. The use of compilation to make Prolog faster and more efficient is studied and a modified representation for complex structures is presented. Two programming tools are also presented. The second part of the thesis focuses on one problem which arises when implementing an Expert System using Prolog. A practical three-valued Prolog implementation is described. An interpreter accepts three-valued formulae and converts these into a Prolog representation. Formulae are in clausal form which allows disjunctive conclusions to rules. True and false formulae are stated explicitly and therefore the interpreter is able to perform useful consistency checks when information is added to the data base.

Item Type:Thesis (Doctoral)
Award:Doctor of Philosophy
Thesis Date:1987
Copyright:Copyright of this thesis is held by the author
Deposited On:08 Feb 2013 13:45

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitter