The Loom project's goal is the development and fielding of advanced tools for knowledge representation and reasoning in artificial intelligence.
At its heart is a knowledge representation and reasoning system that combines a Frame-based language with an automatic classifier engine.
A deductive engine called a classifier utilizes forward chaining, semantic unification, and object-oriented truth maintenance technologies in order to compile the declarative knowledge into a network designed to efficiently support on-line deductive query processing.
Loom can also be used as a deductive layer that overlays an ordinary CLOS (Common Lisp Object System) network.
In this mode, users can obtain many of the benefits of using Loom without impacting the function or performance of their CLOS-based applications.