Accession Number : ADA185571

Title :   Logic Programming and Knowledge Maintenance.

Descriptive Note : Final rept. 30 Oct 84-30 Nov 86,

Corporate Author : SYRACUSE UNIV NY SCHOOL OF COMPUTER AND INFORMATION SCIENCE

Personal Author(s) : Bowen, Kenneth A

PDF Url : ADA185571

Report Date : 13 Aug 1987

Pagination or Media Count : 153

Abstract : The focus of this work was to study large volatile knowledge bases. The research involved developing extensions to logic programming systems in the form of a metalanguage, by studying to what extent frames and semantic nets could be employed. The management of consistency and integrity under change using a metalanguage was analyzed. This research produced a rule-based deductive programming language, called metaProglog, which enhances Prolog's ability to manipulate the databases themselves and to reason about them. This was accomplished by regarding databases (or theories) as first-class objects capable of being passed as arguments. Four papers were published under this grant, including Meta-kavek programming and knowledge representation and metaProlog: A metalevel extension to Prolog. (Author)

Descriptors :   *HIGH LEVEL LANGUAGES, ADAPTERS, COMPUTER PROGRAMMING, CONSISTENCY, DATA BASES, FRAMES, LOGIC, MANAGEMENT, NETS, SEMANTICS, COMPUTER LOGIC

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE