Prolog (dasturlash tili)

Termalar

Prolog dasturi jumlalar yordamida aniqlangan munosabatlarni tavsiflaydi. Boshqa har qanday ramziy kompyuterga yo'naltirilgan tilda bo'lgani kabi, jumlalar atamalardan tuziladi, ular o'z navbatida atomlarga, raqamlarga, o'zgaruvchilarga va tuzilmalarga bo'linadi. Atom kichik harf bilan yoziladi yoki katta harf kerak bo'lganda qo'shtirnoq ichiga olinadi. atom "Atom" Katta harf bilan yozilgan o‘zgaruvchilar protsessual dasturlash tillaridagi o‘zgaruvchilardan farq qiladi, ular xotiraning aniq joylashuvi bilan bog‘lanmaydi, balki matematik o‘zgaruvchiga yaqinroqdir.

X - 2 + 2.

Strukturalar - qavslar ichiga olingan atamalar to'plami, shu jumladan boshqa tuzilmalar. Tuzilma qavslar oldidan kelgan nom (funktor) bilan belgilanadi. kitob ("Sarlavha", "2009 yil", "SPb", mualliflar ("Birinchi muallif", "Ikkinchi muallif")). Yana bir konstruktsiya ro'yxatlar bo'lib, ularning elementlari kvadrat qavs ichiga olingan. Prologdagi ro'yxatlar bog'langan ro'yxatlarga asoslanadi.

Ro'yxat = [a, b, [c, d], e].