English

DTIC ADA185571: Logic Programming and Knowledge Maintenance.

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)

Sign in with your free account to read, download EPUBs or listen.