Prolog , , , Prolog . Prolog -
( ) unknown (_,
i:;.
- not "\ + "
not Goal. Prolog ( ) (, ) : \+Goal
, , , . Prolog "not" "\+ " ( ) not , ( ).
name(Atom, CodeList)
, ( atom__codes/2). Prolog , name , , .
consult reconsult
consult reconsult. , , ( , , , , , ).
Prolog , , . , , .
. Prolog