Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:готов лаби 4 курс 1 сим / ЛП / lipa5
.txt domains
s=symbol
predicates
word(s,s,s,s,s)
translate(s,s)
conc
dlina
fronts
g
repeat
clauses
word(calendar,"kalendar","imennuk","kalendarnui","prukmetnuk").
word(house,"dim","imennuk","domashnij","prukmetnuk").
word(man,"4olovik","imennuk","4olovichui","prukmetnuk").
repeat.
repeat:- repeat.
g:-
repeat, nl, write ("vvedit pershe slovo"),nl, readln(X), write ("vvedit druge slovo"),nl, readln(Y), word(X1,_,_,_,_), X1=X, word(Y1,_,_,_,_), Y1=Y, write (" OK "), translate (X,Y),!.
translate(X,Y):-
word(X,_,_,X2,_), word(Y,Y2,_,_,_),nl, write("pereklad"), nl, write(X2," ",Y2).
conc:-
write ("vvedit pershe slovo"), nl, readln(A), write("vvedit druge slovo"), nl, readln(B), concat(A,B,C), write(C),nl.
dlina:-
write ("vvedit slovo"), nl, readln(A), str_len(A,B), write("length=",B), nl.
fronts:-
write("vvedit slovo"), nl, readln(A), write("vvedit dovguny"), nl, readint(L), frontstr(L,A,B,C), write("String1=",B), nl, write("String2=",C), nl.
s=symbol
predicates
word(s,s,s,s,s)
translate(s,s)
conc
dlina
fronts
g
repeat
clauses
word(calendar,"kalendar","imennuk","kalendarnui","prukmetnuk").
word(house,"dim","imennuk","domashnij","prukmetnuk").
word(man,"4olovik","imennuk","4olovichui","prukmetnuk").
repeat.
repeat:- repeat.
g:-
repeat, nl, write ("vvedit pershe slovo"),nl, readln(X), write ("vvedit druge slovo"),nl, readln(Y), word(X1,_,_,_,_), X1=X, word(Y1,_,_,_,_), Y1=Y, write (" OK "), translate (X,Y),!.
translate(X,Y):-
word(X,_,_,X2,_), word(Y,Y2,_,_,_),nl, write("pereklad"), nl, write(X2," ",Y2).
conc:-
write ("vvedit pershe slovo"), nl, readln(A), write("vvedit druge slovo"), nl, readln(B), concat(A,B,C), write(C),nl.
dlina:-
write ("vvedit slovo"), nl, readln(A), str_len(A,B), write("length=",B), nl.
fronts:-
write("vvedit slovo"), nl, readln(A), write("vvedit dovguny"), nl, readint(L), frontstr(L,A,B,C), write("String1=",B), nl, write("String2=",C), nl.
Соседние файлы в папке ЛП