Processing Declarative Knowledge International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings

This volume presents the proceedings of a workshop on the processing of declarative knowledge. The workshop addressed the implementation of high-level knowledge representation using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms.