-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
loom.scroll
22 lines (18 loc) · 1.15 KB
/
loom.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
import ../code/conceptPage.scroll
id loom
name Loom
appeared 1987
tags knowledgeBase
website https://www.isi.edu/isd/LOOM/LOOM-HOME.html
conceptDescription 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.
centralPackageRepositoryCount 0
country United States
originCommunity Information Sciences Institute
reference https://semanticscholar.org/paper/6031b724f174da0069ea61ffa9da928adb090b24
example
(defconcept air-base
:is-primitive
(and military-installation
(exactly 1 name)
(at-least 1 runway-length)))
hopl https://hopl.info/showlanguage.prx?exp=3991