Title :
Intelligent knowledge manipulation in PROLOG
Author :
Blot, Isabelle ; Foucherot, Irène ; Jacquenet, Francois
Author_Institution :
Equipe Ingenierie Informatique, Faculte des Sciences Mirande, Dijon, France
fDate :
29 Nov-2 Dec 1994
Abstract :
Dynamic processing of knowledge in PROLOG is currently done using assert/retract predicates. The consequence of the use of such predicates is that the declarativity of the language is once again put in the wrong. In this paper, we present a new approach for assert/retract in PROLOG, based on an extension of the algorithms used for incremental generation of syntactic parsers
Keywords :
PROLOG; compiler generators; knowledge engineering; PROLOG; assert/retract predicates; dynamic knowledge processing; incremental generation; intelligent knowledge manipulation; language declarativity; syntactic parsers; Artificial intelligence; Engines; Logic programming; Production; Programming profession; Vocabulary;
Conference_Titel :
Intelligent Information Systems,1994. Proceedings of the 1994 Second Australian and New Zealand Conference on
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-7803-2404-8
DOI :
10.1109/ANZIIS.1994.396998
