Atomese

Atomese is a programming language created in 2007.

#1607on PLDB

17Years Old

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.

Atomese website
Atomese first developed in OpenCog Foundation
Read more about Atomese on the web: 1. 2.

Example 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)

Feature	Supported	Token	Example
Comments	✓		; A comment
Line Comments	✓	;	; A comment
Semantic Indentation	X

Atomese - Programming language

Language features