atomese is an actively used programming language. Atomese was originally intended to be a language for knowledge representation (KR): that is, a way of encoding facts and hypothesis, in a machine-readable way, such that the knowledge can be manipulated, data-mined, reasoned with. This language subset was vaguely inspired by Prolog and Datalog. More correctly, it was constructed by layering concepts from mathematical logic onto a graph database: representing logical, symbolic statements as graphs.

?Years Old ?Users ?Jobs

Example code from the web:

(define find-animals
  (BindLink
    ;; The variable to be bound
    (VariableNode "$var")
    ;; The pattern to be searched for
    (InheritanceLink
       (VariableNode "$var")
       (ConceptNode "animal")
    )
    ;; The value to be returned.
    (VariableNode "$var")
  )
)
 
;; Run the above pattern
(cog-bind find-animals)

Last updated February 18th, 2020

Edit atomese on GitHub