готов лаби 4 курс 1 сим / ЛП / l4_pro

domains

predicates
begin
x
x2
x3
x4
x5
rep(symbol)
rep1(symbol)
x6
pov

clauses
begin:- write("\n\n\n\n **Proverka viychennix slov, angliskij jazik: **\n")
,x.
x:- write("privet - "),readln(N),N="hello",write("yes\n"),x2;!,write("No,try again\n"),
x.
x2:- write("imia - "),readln(N),N="name",write("yes\n"),x3;!,write("No,try again\n"),x2.
x3:- write("eda - "),readln(N),N="food",write("yes\n "),x4;!,write("No, try again\n"),x3.
x4:- pov,write("ylica - "),readln(N), rep(N).
rep(N):-N="street",write("yes\n"),x5;N<>"street",write("No, try again\n").
x5:- pov,write("cvet - "),readln(N),rep1(N).
rep1(N):-N="color",write("yes\n"),x6;N<>"color",write("No\n").
x6:- write("\n ** Proverka viychennix slov okonchena **").
pov.
pov:- pov.
goal
begin.