---
title: "CONTROLLING KNOWLEDGE DEDUCTION IN A DECLARATIVE APPROACH"
authors:
  - "Hervé Gallaire"
  - "Claudine Lasserre"
doi: ""
url: "https://ijcai.org/proceedings/1979/236"
pdf: "https://ijcai.org/proceedings/1979/0236.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# CONTROLLING KNOWLEDGE DEDUCTION IN A DECLARATIVE APPROACH

Hervé Gallaire, Claudine Lasserre

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract

This paper*is concerned with the problem of introducing user-defined heuristic control over the deduction process in a knowledge based system. Control information is seen as being just another piece of data, separated from the knowledge base the use of which it controls and from the theorem prover. A declarative approach to control expression was retained. Control information is embedded in user's metarul e s taken from the metalanguage presented in this paper. This metalanguage and a theorem prover interpreting it have been implemented. Examples of its use are given and discussed.