O’zbekiston respublikasi oliy va o’rta maxsus ta’lim vazirligi buxoro davlat universiteti qo’lyozma huquqida udk

3.2 German sinfi

Biz avvalo Semantic sinfga quyidagi dastuni kiritamiz.

class semantic

open core

domains

category = art; nom; cop; rel.

tree = case(category, string); world(tree, tree); silence.

predicates

classInfo : core::classInfo.

end class semantic

Bu yerda 2ta gap haqida so’z yuritiladi.

Ingliz tilida “The World is all”

Nemis tilida “Die Welt ist alles”

Ikkala so’zni ham ma’nosi “Dunyo hammaniki” deyilgan. Prologda German sinfini yasab olganimizdan keyin German Pro paketiga dasturimizni kiritamiz. Bu dasturni ko’rinishi quyidagicha:

% Файл german.pro

implement german

open core, semantic

clauses

classInfo("german", "1.0").

article(case(art, ""), ["die"|Rest], Rest).

article(case(art, ""), ["der"|Rest], Rest).

noun(case(nom, "Welt"), ["Welt"|R], R).

noun(case(nom, "Fall"), ["Fall"|R], R).

copula(world(case(cop, "ist"), T), ["ist"|R1], R) :-

nounphr(T, R1, R).

nounphr(world(T1, T2), Start, End) :-

article(T1, Start, S1), noun(T2, S1, End).

nounphr(case(nom, "alles"), ["alles"|R], R).

phr(world(T1, T2), Start, End) :-

nounphr(T1, Start, S1), copula(T2, S1, End).

end implement german

Bu dasturni kiritganimizdan so’ng bizga yangi dastur kerak bo’ladi. Bu dasturlardan chiqaruv daraxti yasaymiz. Keyingi dasturimizni Файл german.cl ga kiritamiz. Bu dastur quyidagicha:

% Файл german.cl

class german

open core, semantic

predicates

classInfo : core::classInfo.

article : (tree, string*, string*) nondeterm (o, i, o).

noun : (tree, string*, string*) nondeterm (o, i, o).

nounphr : (tree, string*, string*) nondeterm (o, i, o).

copula : (tree, string*, string*) nondeterm (o, i, o).

phr : (tree, string*, string*) nondeterm (o, i, o).

end class german

Biz German sinfiga dasturlarni kiritib bo’ldik.