Assertion and Retrieval
Tell – Asserts a sentence to be true in a knowledge base
Untell – Removes a sentence from a knowledge base
Ask – Asks a query of a KB
Returns an instantiated “reply pattern” for each answer found
E.g., (ask ‘(and (oscilloscope ?osc)
(number-of-channels ?osc 4)
(bandwidth ?osc ?bandwidth)
(> ?bandwidth (* 80 mega-hertz)))
:reply-pattern ‘(?osc ?bandwidth)
:number-of-values 10
:kb kb)
Enumerate-Ask
Returns an enumerator for the elements returned by Ask