Title :
A new logical view of knowledge manipulation with PROLOG
Author :
Jacquenet, François ; Foucherot, Irène
Author_Institution :
Fac. des Sci. Mirand, Centre de Recherche en Inf. de Dijon, France
Abstract :
Dynamic knowledge processing in PROLOG is currently done using assert/retract predicates. The first consequence of such a facility is that these predicates cause problems for the declarativeness of the PROLOG language. Moreover, a second consequence is that the consistency of the PROLOG programs that use such predicates is no longer guaranteed. To solve this latter problem, the authors introduce a new vision of assert/retract predicates in the PLEASE system
Keywords :
PROLOG; knowledge based systems; knowledge engineering; logic programming; PLEASE system; PROLOG; PROLOG program consistency; assert predicates; declarativeness; dynamic knowledge processing; knowledge manipulation; logical view; retract predicates; Australia; Engines; Expert systems; Information systems; Intelligent systems; Logic design; Logic programming; Manipulator dynamics; Programming profession;
Conference_Titel :
Intelligent Information Systems, 1996., Australian and New Zealand Conference on
Conference_Location :
Adelaide, SA
Print_ISBN :
0-7803-3667-4
DOI :
10.1109/ANZIIS.1996.573874
