Accession Number : ADA193472

Title :   MPROLOG (Multi Value Prolog) Manual and Source Code.

Descriptive Note : Technical rept.,

Corporate Author : NEVADA UNIV LAS VEGAS DEPT OF COMPUTER SCIENCE AND ELECTRICAL ENGINEERING

Personal Author(s) : Flatebo, Martin

PDF Url : ADA193472

Report Date : Feb 1988

Pagination or Media Count : 42

Abstract : This manual describes the use and implementation of a multi-valued Prolog called Mprolog. It is modeled after Prolog which uses horn clauses to store its collection of knowledge. Prolog is restricted by the fact that it is a two-valued logic and therefore can only examine information which is completely true or false. This is reasonable as long as the knowledge you want to represent does not contain uncertainties. If it does then you are not able to use the powerful programming language Prolog. What is needed is a multi-valued logic which allows information to be stored with uncertainties, and that is what Mprolog is all about. Mprolog is used to represent a new type of multi-value logic called minimal bounded fuzzy logic. Mprolog was written in Common Lisp on the Symbolics 3620. This chapter deals with how to run Mprolog and not the actual implementation of Mprolog. The implementation of Mprolog is described in Chapter 2 and the listing of source code is in Chapter 3.

Descriptors :   *PROGRAMMING LANGUAGES, *COMPUTER LOGIC, CODING, SOURCES, SYNTAX, PARSERS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE