MPROLOG (Multi Value Prolog) Manual and Source Code.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1988
Accession Number
ADA193472

Entities

People

  • Martin Flatebo

Organizations

  • University of Nevada, Las Vegas

Tags

DTIC Thesaurus Topics

  • Classification
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Expert Systems
  • Fuzzy Logic
  • Language
  • Lisp Programming Language
  • Numbers
  • Programming Languages
  • Real Numbers
  • Security
  • Standards
  • Symbolic Programming

Fields of Study

  • Computer science

Readers

  • Computational Linguistics