| Мәліметтер типтері
SWI-Prolog деректерді динамикалық теруді қолдайды.
Егер объектінің аты кіші әріптен басталса, онда бұл объект белгілі мәнге ие болады, яғни ол тұрақты болып табылады. Белгілі немесе тұрақты мәндері бар объектілер, егер олар сандар болмаса, кіші әріптерден басталуы керек.
likes(mary,apples). /* мери мен алма - тұрақты. */
Бас әріппен жазылған сөздер - SWI-Prolog тілінің ауыспалы нұсқалары.
Біріктірудің ішкі тәртібі айнымалыларды білдіреді.
Көрсетілген айнымалылар мен тұрақтылар SWI-Prolog-ға «белгілі» мәндерге ие.
Тегін немесе тағайындалмаған айнымалылардың мағынасы жоқ.
Айнымалылар мәлімдемеде де, ішкі аралықта да предикативті объект бола алады.
likes(mary,apples). /* Мәлімдеме - Мэри алмаларды жақсы көреді*/
likes(mary,What). /* Мақсаты - Мэри нені жақсы көреді? */
Сандар
? - A = 12, B = -0.5e4.
A = 12,
В = -5000,0. ? - сан ($ A), нөмір ($ B).
шын % айнымалылардың түрі сандар екенін көрсетеді
Атомдар
? - A = abc, B = 'Сәлем әлем ».
A = abc
B = 'Сәлем әлем ». ? - атом ($ A), атом ($ B).
шын % айнымалылар типі атомдар екенін көрсетеді
Сызықтар
? - S = «Сәлем әлем».
S = [1055, 1088, 1080, 1074, 1077, 1090, 32, 1084, 1080 | ...].
Көруге болады, бұл жолдар - бұл таңбалар кодтарының тізімі, яғни. сол операциялардың барлығы тізімдерге қатысты қолданылады.
Тізімдер
? - A = [], B = [a, foo, 123, [[[[[[[1,2,42]], жол]]], «Сәлем», A], C = [A, B].
A = [],% бос тізім B = [a, foo, 123, [[[[[[[[1 | ...]], жол]]]], [1055, 1088, 1080, 1074 | ...], [ ]],
C = [[], [a, foo, 123, [[[[...] | ... ...]]], [1055, 1088 | ...], []]]
Достарыңызбен бөлісу: |
