Um programa define regras de inferência e uma máquina de inferência, provida pela linguagem de programação, deriva novas sentenças lógicas a partir de sentenças lógicas conhecidas.

Baseia-se no paralelismo, utilizando múltiplas threads ou múltiplos processos em diferentes CPUs para obter bom desempenho na execução de um programa.

Um programa é baseado no uso de uma ou mais pilhas como estruturas de dados, cada uma com um propósito. Argumentos para um comando são retirados de uma pilha e o valor de retorno é colocado no topo da pilha.

Um programa é capaz de automodificar seu código em tempo de execução, em resposta a estímulos externos específicos.

Um laço (loop) principal no programa detecta acontecimentos específicos, que podem ter diferentes origens, e chama sub-rotinas tratadoras conforme o acontecimento.