( ) , . , , , , , . , .
DATABASE [ < >]
< >(< >,...,
< n- >)
, . dbasedom. . , DATABASE . , , ; .
PREDICATES. . , , , .
, .
:
| consult(DosFileName,InternalDatabaseName)(string,InternalDatabaseName) - (i,i) | DosFileName InternalDatabaseName, DATABASE - InternalDatabaseName. |
| consult(DosFileName) (string) - (i) | DosFileName , . |
| save(DosFileName,InternalDatabaseName) (string,DatabaseName) - (i,i) | , InternalDatabaseName, DosFileName. |
| save(DosFileName) (string) - (i) | , , DosFileName. |
| assert(Term) (InternalDatabaseDomain) - (i) | () Term . |
| asserta(Term) (InternalDatabaseDomain) - (i) | Term . |
| assertz(Term) (InternalDatabaseDomain) - (i) | Term . |
| retractall(_,InternalDbaseName) (_,DatabaseName) - (_,i) | InternalDbaseName. |
| retractall(Term) (InternalDatabaseDomain) - (_) | Term . |
: . , .
