Questions Columns Rows
GitHub icon


Loom - Knowledge base

< >

Loom is a knowledge base created in 1987.

#2636on PLDB 36Years Old

Loom is a language and environment for constructing intelligent applications. The heart of Loom is a knowledge representation system that is used to provide deductive support for the declarative portion of the Loom language. Declarative knowledge in Loom consists of definitions, rules, facts, and default rules. A deductive engine called a classifier utilizes forward-chaining, semantic unification and object-oriented truth maintainance technologies in order to compile the declarative knowledge into a network designed to efficiently support on-line deductive query processing.

Example from the web:
(defconcept air-base :is-primitive (and military-installation (exactly 1 name) (at-least 1 runway-length)))

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 267 Logout