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.

Efficient processing of declarative rule-based languages for Databases.- Has dedicated hardware for Prolog a future ?.- Commercial applications of large Prolog knowledge bases.- Compiling conceptual graphs.- Subsumption in knowledge graphs.- A terminological knowledge representation system with complete inference algorithms.- An introduction to dynamic concept systems.- Querying concept-based knowledge bases.- Subsumption computation in an object-oriented data model.- A concise presentation of ITL.- Distributed disjunctions for LIFE.- Reasoning with maximal time intervals.- Nonclassical models for logic programs.- Logical operational semantics of Parlog part I: And-Parallelism.- A tool for building connectionist-like networks based on term unification.- Providing declarative access to a processing system for satellite image data.- Declarative functionality descriptions of interactive reasoning modules.- Rule-aided constraint resolution in Laure.- Flang: A functional-logic language.- Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine.- Reducing scheduling overheads for concurrent logic programs.- A general framework for knowledge compilation.- Data-driven transformation of meta-interpreters: A sketch.- Improving the efficiency of constraint logic programming languages by deriving specialized versions.- Parallelizing Prolog on shared-memory multiprocessors.- Processing abductive reasoning via Contextual Logic Programming.- Efficient implementation of narrowing and rewriting.- Tim: The toulouse inference machine for non-classical logic programming.- Declarative and procedural paradigms-do they really compete?.- The GCLA II programming language.- A brief description of the PROTOS-L system.- PCPL - PROLOG constraint processing library version 2.0.- A mini-description of the ITL system.- Taxon: A concept language with concrete domains.- The ALF system: An efficient implementation of a functional logic language.- Transforming horn clauses for forward reasoning.- Implementation of the functional-logic language flang.- SEPIA 3.0 - An extensible prolog system.- FIDO: Exploring finite domain consistency techniques in logic programming.