предикатом

структурою

фактом

функтором

питанням

fail

false

!

break

not

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

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

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

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

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

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

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

Фон-Неймана

( (1) . 5)

1 . 5

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

1 5

( 1 (5) )

(1 . 5)

class facts

predicates

clauses

domains

class clauses

" ; "

" ! "

" :- "

"  | "

" , "

fail

cut

!

|

not

chain_insertz(DBase, Chain, Term, Ref)

chain_insertz(DBase, Chain, Domain, Term, Ref)

_insert_end(DBase, Chain, Domain, Term) : Ref

chain_insert_end(DBase, Chain, Domain, Term) : Ref

chain_insert_end(DBase, Chain, Domain, Term, Ref)