• hello_world — string жəнеsymbol домендері;
• "Привет МИР" — string домені.
charсимволдық доменісимволдарды тікелей немесе код түрінде
пайдалануға мүмкіндік береді:
• '\169' —символдың коды;
• 'a' — символ.
Предикаттар
бөлімінде
əзірленетін
бағдарламаның
барлық
предикаттарының сипаттамасы келтіріледі.
Предикаттың дәлелі — одан бағдарламаның мəндік саласының
айнымалы шамасы немесе константасы мағынаны ала алатын доменнің
шартты белгісі. Домендердің аттарын тікелей көрсетуге рұқсат етіледі, бұл
ретте бағдарламада домендер бөлімі болмауы мүмкін. Дəлелдері жоқ
предикаттарды пайдалануға жол беріледі. Әдетте осындай предикаттар
қағидаларды бағдарламалау үшін қолданылады.
Бағдарлама терезесіне шығаруды ұйымдастыру үшін жүйелік
предикаттар пайдаланылады:
