Accession Number : ADA185172

Title :   Near-Horn Prolog.

Descriptive Note : Technical rept.,

Corporate Author : DUKE UNIV DURHAM NC DEPT OF COMPUTER SCIENCE

Personal Author(s) : Loveland, D W

PDF Url : ADA185172

Report Date : 05 May 1987

Pagination or Media Count : 16

Abstract : The author proposes an extension to Prolog that handles clause sets that are Horn and almost-Horn in a manner that emphasizes clarity, efficiency, and minimal deviation from standard prolog. Although one version of near-Horn Prolog is complete under appropriate search strategies, we focus on incomplete variants that allow fast processing. Negation in the program is handled correctly, although within a positive implication logic extension of Horn logic. Processing speed degradation is directly proportional to the distance the program is from a Horn clause set. (AUTHOR)

Descriptors :   *PROGRAMMING LANGUAGES, SEMANTICS, ITERATIONS, EFFICIENCY

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE