, , : , , , . domains, constants, database (facts), predicates, clauses goal . :
domains , , ;
constants , ;
database (facts) , , ;
predicates , ;
clauses ;
goal . , .
Visual Prolog domains, facts, predicates, clauses , global.
:
char | a, b, #, B, % | ||
integer byte word dword | 32768 32767 0 255 0 65535 0 232 | -63, 84, 2349 | |
real short ushort long ulong unsigned | +1E-307 +1E308 16 16 32 32 16 32 | 360, - 8324, 1.25E23, 5.15E-9 | |
string | ( 250) | today, 123, school_day | |
symbol | 1. , , ; . 2. , . | flower, school_day string and symbol | |
ref | |||
file | DOS | mail.txt, LAB.PRO |
, domains.
4:
domains
number=integer
name, person=symbol.
symbol string - , .
Visual Prolog string symbol. , , string, symbol:
Symbol - , , , .
String , #0, .
Visual Prolog , , .
|
|
predicates. , . , go repeat. , predicates:
5:
predicates
mother (symbol, symbol)
father (symbol, symbol).
clauses, goal . - goal, . Dialog Goal. - , , . , . , , .
Visual Prolog goal . Test Goal. , , .