Proposições são elaboradas com base no propósito de serem avaliadas como verdadeiras ou falsas.

A base da programação lógica são as variáveis e a possibilidade de alteração de dados básicos em um código.

Variáveis em programação lógica podem ser simples ou compostas, sendo que isso influencia nos valores que podem ser contidos nestas variáveis.

Proposições são fundamentais nesta forma de programação, sendo estruturas para o armazenamento de dados.

Operadores lógicos como E e OU não são importantes neste paradigma lógico por serem operadores muito subjetivos nos dados que podem avaliar.