new.pl

% Kyrgyz vowels
vowel('а').
vowel('е').
vowel('ё').
vowel('и').
vowel('о').
vowel('ө').
vowel('у').
vowel('ү').
vowel('ы').
vowel('э').
vowel('ю').
vowel('я').

% Kyrgyz consonants and other non-vowels
consonant('б').
consonant('в').
consonant('г').
consonant('д').
consonant('ж').
consonant('з').
consonant('й').
consonant('к').
consonant('л').
consonant('м').
consonant('н').
consonant('ң').
consonant('п').
consonant('р').
consonant('с').
consonant('т').
consonant('ф').
consonant('х').
consonant('ц').
consonant('ч').
consonant('ш').
consonant('щ').

consonant('ь').
consonant('ъ').

is_vowel(Char) :- member(Char, [а,е,ё,и,о,ө,у,ү,ы,э,ю,я,u]), !.
is_consonant(Char) :- member(Char, [б,в,г,д,ж,з,й,к,л,м,н,ң,п,р,с,т,ф,х,ц,ч,ш,щ]), !.

% Rules
% Kyrgyz vowel harmony rules
harmony('а', 'а').
harmony('а', 'ы').
harmony('е', 'е').
harmony('е', 'и').
harmony('и', 'е').
harmony('и', 'и').
harmony('о', 'о').
harmony('о', 'у').
harmony('у', 'а').
harmony('у', 'у').
harmony('ы', 'а').
harmony('ы', 'ы').
harmony('ү', 'ү').
harmony('ү', 'ө').
harmony('ө', 'ү').
harmony('ө', 'ө').

% Kyrgyz consonant harmony rules
agreement('а', 'г').
agreement('а', 'д').
agreement('а', 'л').
agreement('а', 'н').
agreement('б', 'г').
agreement('б', 'д').
agreement('в', 'г').
agreement('в', 'д').
agreement('г', 'г').
agreement('г', 'д').
agreement('д', 'г').
agreement('д', 'д').
agreement('е', 'г').
agreement('е', 'д').
agreement('е', 'л').
agreement('е', 'н').
agreement('ж', 'г').
agreement('ж', 'д').
agreement('з', 'г').
agreement('з', 'д').
agreement('и', 'г').
agreement('и', 'д').
agreement('и', 'л').
agreement('и', 'н').
agreement('й', 'г').
agreement('й', 'д').
agreement('й', 'л').
agreement('к', 'к').
agreement('к', 'т').
agreement('л', 'г').
agreement('л', 'д').
agreement('м', 'г').
agreement('м', 'д').
agreement('н', 'г').
agreement('н', 'д').
agreement('о', 'г').
agreement('о', 'д').
agreement('о', 'л').
agreement('о', 'н').
agreement('п', 'к').
agreement('п', 'т').
agreement('р', 'г').
agreement('р', 'д').
agreement('р', 'л').
agreement('с', 'к').
agreement('с', 'т').
agreement('т', 'к').
agreement('т', 'т').
agreement('у', 'г').
agreement('у', 'д').
agreement('у', 'л').
agreement('у', 'н').
agreement('ф', 'к').
agreement('ф', 'т').
agreement('х', 'к').
agreement('х', 'т').
agreement('ч', 'к').
agreement('ч', 'т').
agreement('ш', 'к').
agreement('ш', 'т').
agreement('щ', 'к').
agreement('щ', 'т').
agreement('ы', 'г').
agreement('ы', 'д').
agreement('ы', 'л').
agreement('ы', 'н').
agreement('э', 'г').
agreement('э', 'д').
agreement('э', 'л').
agreement('э', 'н').
agreement('ю', 'г').
agreement('ю', 'д').
agreement('ю', 'л').
agreement('ю', 'н').
agreement('я', 'г').
agreement('я', 'д').
agreement('я', 'л').
agreement('я', 'н').
agreement('ё', 'г').
agreement('ё', 'д').
agreement('ё', 'л').
agreement('ё', 'н').
agreement('ң', 'г').
agreement('ң', 'д').
agreement('ү', 'г').
agreement('ү', 'д').
agreement('ү', 'л').
agreement('ү', 'н').
agreement('ө', 'г').
agreement('ө', 'д').
agreement('ө', 'л').
agreement('ө', 'н').

vowels([], []).
vowels([V|T], [V|X]) :-
    vowel(V),
    vowels(T, X),
    !.
vowels([C|T], X) :-
    consonant(C),
    vowels(T, X).

last_vowel(L, X) :-
    vowels(L, V),
    last(V, X).

first(L, X) :-
    L = [X|_].

first_letter(L, X) :-
    L = [X|_].

last_letter(L, X) :-
    last(L, X).

listed_word_to_chars(L, X) :-
    last(L, W),
    string_chars(W, X),
    !.

agree(W1, W2) :-
    listed_word_to_chars(W1, M1),
    listed_word_to_chars(W2, M2),
    last_vowel(M1, LV1),
    last_vowel(M2, LV2),
    harmony(LV1, LV2),
    last_letter(M1, LL1),
    first_letter(M2, FL2),
    agreement(LL1, FL2),
    !.


% E1 = plural endings
plural --> ['лар'].
plural --> ['дар'].
plural --> ['тар'].
plural --> ['лер'].
plural --> ['дер'].
plural --> ['тер'].
plural --> ['лор'].
plural --> ['дор'].
plural --> ['тор'].
plural --> ['лөр'].
plural --> ['дөр'].
plural --> ['төр'].

e1 --> plural.


% E2 = possessive endings
p1sg --> ['ым'].
p1sg --> ['им'].
p1sg --> ['ум'].
p1sg --> ['үм'].
p1sg --> ['м'].
p2sg --> ['ың'].
p2sg --> ['иң'].
p2sg --> ['уң'].
p2sg --> ['үң'].
p2sg --> ['ң'].
p2sgf --> ['ыңыз'].
p2sgf --> ['иңиз'].
p2sgf --> ['уңуз'].
p2sgf --> ['үңүз'].
p2sgf --> ['ңыз'].
p2sgf --> ['ңиз'].
p2sgf --> ['ңуз'].
p2sgf --> ['ңүз'].
p3sg --> ['ы'].
p3sg --> ['и'].
p3sg --> ['у'].
p3sg --> ['ү'].
p3sg --> ['ын'].
p3sg --> ['ин'].
p3sg --> ['ун'].
p3sg --> ['үн'].
p3sg --> ['сы'].
p3sg --> ['си'].
p3sg --> ['су'].
p3sg --> ['сү'].
p3sg --> ['сын'].
p3sg --> ['син'].
p3sg --> ['сун'].
p3sg --> ['сүн'].
p1pl --> ['ыбыз'].
p1pl --> ['ибиз'].
p1pl --> ['убуз'].
p1pl --> ['үбүз'].
p1pl --> ['быз'].
p1pl --> ['биз'].
p1pl --> ['буз'].
p1pl --> ['бүз'].
p2pl --> ['ыңар'].
p2pl --> ['иңер'].
p2pl --> ['уңар'].
p2pl --> ['үңөр'].
p2pl --> ['ңар'].
p2pl --> ['ңер'].
p2pl --> ['ңөр'].
p2plf --> ['ыңыздар'].
p2plf --> ['иңиздер'].
p2plf --> ['уңуздар'].
p2plf --> ['үңүздөр'].
p2plf --> ['ңыздар'].
p2plf --> ['ңиздер'].
p2plf --> ['ңуздар'].
p2plf --> ['ңүздөр'].
p3pl --> ['ы'].
p3pl --> ['и'].
p3pl --> ['у'].
p3pl --> ['ү'].
p3pl --> ['ын'].
p3pl --> ['ин'].
p3pl --> ['ун'].
p3pl --> ['үн'].
p3pl --> ['сы'].
p3pl --> ['си'].
p3pl --> ['су'].
p3pl --> ['сү'].
p3pl --> ['сын'].
p3pl --> ['син'].
p3pl --> ['сун'].
p3pl --> ['сүн'].

e2 --> p1sg.
e2 --> p2sg.
e2 --> p2sgf.
e2 --> p3sg.
e2 --> p1pl.
e2 --> p2pl.
e2 --> p2plf.
e2 --> p3pl.


% E3 = case endings
nominative --> [''].

genitive --> ['нын'].
genitive --> ['нин'].
genitive --> ['нун'].
genitive --> ['нүн'].
genitive --> ['дын'].
genitive --> ['дин'].
genitive --> ['дун'].
genitive --> ['дүн'].
genitive --> ['тын'].
genitive --> ['тин'].
genitive --> ['тун'].
genitive --> ['түн'].
genitive --> ['ын'].
genitive --> ['ин'].
genitive --> ['ун'].
genitive --> ['үн'].

dative --> ['га'].
dative --> ['ге'].
dative --> ['го'].
dative --> ['гө'].
dative --> ['ка'].
dative --> ['ке'].
dative --> ['ко'].
dative --> ['кө'].
dative --> ['а'].
dative --> ['е'].
dative --> ['о'].
dative --> ['ө'].

accusative --> ['ны'].
accusative --> ['ни'].
accusative --> ['ну'].
accusative --> ['нү'].
accusative --> ['ды'].
accusative --> ['ди'].
accusative --> ['ду'].
accusative --> ['дү'].
accusative --> ['ты'].
accusative --> ['ти'].
accusative --> ['ту'].
accusative --> ['тү'].
accusative --> ['ы'].
accusative --> ['и'].
accusative --> ['у'].
accusative --> ['ү'].

locative --> ['да'].
locative --> ['де'].
locative --> ['до'].
locative --> ['дө'].
locative --> ['та'].
locative --> ['те'].
locative --> ['то'].
locative --> ['тө'].

ablative --> ['дан'].
ablative --> ['ден'].
ablative --> ['дон'].
ablative --> ['дөн'].
ablative --> ['тан'].
ablative --> ['тен'].
ablative --> ['тон'].
ablative --> ['төн'].
ablative --> ['ан'].
ablative --> ['ен'].
ablative --> ['он'].
ablative --> ['өн'].

e3 --> nominative.
e3 --> genitive.
e3 --> dative.
e3 --> accusative.
e3 --> locative.
e3 --> ablative.


% E4 = personal endings
pr1sg --> ['мын'].
pr1sg --> ['мин'].
pr1sg --> ['мун'].
pr1sg --> ['мүн'].
pr2sg --> ['сың'].
pr2sg --> ['сиң'].
pr2sg --> ['суң'].
pr2sg --> ['сүң'].
pr2sgf --> ['сыз'].
pr2sgf --> ['сиз'].
pr2sgf --> ['суз'].
pr2sgf --> ['сүз'].
pr3sg --> [''].
pr1pl --> ['быз'].
pr1pl --> ['биз'].
pr1pl --> ['буз'].
pr1pl --> ['бүз'].
pr2pl --> ['сыңар'].
pr2pl --> ['сиңер'].
pr2pl --> ['суңар'].
pr2pl --> ['сүңөр'].
pr2plf --> ['сыздар'].
pr2plf --> ['сиздер'].
pr2plf --> ['суздар'].
pr2plf --> ['сүздөр'].
pr3pl --> [''].

e4 --> pr1sg.
e4 --> pr2sg.
e4 --> pr2sgf.
e4 --> pr3sg.
e4 --> pr1pl.
e4 --> pr2pl.
e4 --> pr2plf.
e4 --> pr3pl.


% RULES
% A1 = E1 + E2
a1(F, []) :-
    e1(F, S2),
    e2(S2, []),
    append(S1, S2, F),
    agree(S1, S2).

% A2 = E1 + E3
a2(F, []) :-
    e1(F, S2),
    e3(S2, []),
    append(S1, S2, F),
    agree(S1, S2).

% A3 = E1 + E4
a3(F, []) :-
    e1(F, S2),
    e4(S2, []),
    append(S1, S2, F),
    agree(S1, S2).

% A4 = E2 + E3
a4(F, []) :-
    e2(F, S2),
    e3(S2, []),
    append(S1, S2, F),
    agree(S1, S2).

% A5 = E2 + E4
a5(F, []) :-
    e2(F, S2),
    e4(S2, []),
    append(S1, S2, F),
    agree(S1, S2).

% A6 = E3 + E4
a6(F, []) :-
    e3(F, S2),
    e4(S2, []),
    append(S1, S2, F),
    agree(S1, S2).


% DICTIONARY
noun --> ['окучуу'].


% GENERATOR
singletons([]) --> [].
singletons([H|T]) --> [[H]], singletons(T).
singletons(L, Ls) :- phrase(singletons(L), Ls).

%final --> noun.
final(F, []) :-
    noun(F, S),
    (a1(S, []);
     a2(S, []);
     a3(S, []);
     a4(S, []);
     a5(S, []);
     a6(S, [])),
    append(N, S, F),
    singletons(S, C),
    first(C, S1),
    agree(N, S1).

generate_form(F) :-
    phrase(final, X),
    atomics_to_string(X, F).

% generate_form(X).