Techniques of Prolog Programming: With Implementation of Logical Negation and Quantified Goals

  • Authors:
  • T. U. Van Le;Le T. Van

  • Affiliations:
  • -;-

  • Venue:
  • Techniques of Prolog Programming: With Implementation of Logical Negation and Quantified Goals
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract

From the Publisher:Approaches the subject by applying the format used in successful language courses. Offers a comprehensive exhibition of Prolog programming techniques in four stages--declarative, procedural, advanced and meta-programming. Presents simple and efficient implementation of logical negation and quantified goals which are necessary in expert systems. The dynamics of these new features are shown in the construction of a multilingual expert system shell that supports negative and quantified queries as well as subtypes. The easy-to-follow tutorial style and numerous fully-solved exercises facilitate understanding. Comes with 3.5 inch disk containing all programs in the book.