Utilisation de connaissances déclaratives — Colloque Intelligence artificielle (1982 ; Le Mans)