load

insert

assert

reconsult

consult

списки

дерева

арність

бектрекінг

функтор

ні

залежить від того, чи використано бектрекінг

так

залежить від того, чи використано рекурсію

предикатом

структурою

фактом

функтором

питанням

fail

false

!

break

not

починається з _

називається функтором

починається з великої літери

починається із ?

Об'єктно-орієнтованого програмування

Булівської логіки

Логічного і функціонального програмування

Фон-Неймана

( (1) . 5)

1 . 5

помилка виконання

1 5

( 1 (5) )

(1 . 5)

class facts

predicates

clauses

domains

class clauses

" ; "

" ! "

" :- "

"  | "

" , "