TaskExpert

:- dynamic верно/2, ложно/2.

цель:- машина(Арг),!,
write("Загаданная машина "),writeln(Арг),очистить.
цель:- write("К сожалению, эта машина мне не известно."), очистить.

%1
машина("Toyota prado") :- это("японец"),
это("внедорожник"),
свойство("У нее", "кожаный салон"),
свойство("Она", "бизнес класса"),
свойство("У нее", "просторный салон").
%2
машина("Lexus LX") :- это("японец"),
это("внедорожник"),
свойство("У нее", "кожаный салон"),
свойство("Она", "люкс класса").
%3
машина("Lexus LS") :- это("японец"),
это("седан"),
свойство("Она", "люкс класса"),
свойство("У нее", "задний привод"),
свойство("У нее", "кожаный салон").
%4
машина("Toyota corolla") :- это("японец"),
это("седан"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконом класса"),
свойство("У нее", "передний привод").
%5
машина("BMW 7 series") :- это("немец"),
это("седан"),
свойство("У нее", "кожаный салон"),
свойство("Она", "люкс класса"),
свойство("У нее", "задний привод").
%6
машина("BMW 3 series") :- это("немец"),
это("седан"),
свойство("У нее", "кожаный салон"),
свойство("Она", "бизнес класса"),
свойство("У нее", "передний привод").
%7
машина("BMW X5") :- это("немец"),
это("кроссовер"),
свойство("У нее", "кожаный салон"),
свойство("Она", "люкс класса"),
свойство("У нее", "полный привод").
%8
машина("Lada granta") :- это("отечественный"),
это("лифтбек"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконом класса"),
свойство("У нее", "передний привод").
%9
машина("Lada niva") :- это("отечественный"),
это("внедорожник"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконом класса").
%10
машина("Volvo XC90") :- это("швед"),
это("внедорожник"),
свойство("У нее", "кожаный салон"),
свойство("Она", "бизнес класса").
%11
машина("Volvo S60") :- это("швед"),
это("седан"),
свойство("У нее", "кожаный салон"),
свойство("Она", "бизнес класса").
%12
машина("Toyota highlander") :- это("японец"),
это("внедорожник"),
свойство("У нее", "тканевый салон"),
свойство("Она", "бизнес класса"),
свойство("У нее", "просторный салон").
%13
машина("Lada kalina") :- это("отечественный"),
это("седан"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконом класса"),
свойство("У нее", "передний привод").
%14
машина("Renault logan") :- это("француз"),
это("седан"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконом класса"),
свойство("У нее", "передний привод").
%15
машина("Renault duster") :- это("француз"),
это("внедорожник"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконом класса").
%16
машина("Citroen C5") :- это("француз"),
это("седан"),
свойство("У нее", "кожаный салон"),
свойство("Она", "бизнес класса").
%17
машина("Citroen C4") :- это("француз"),
это("седан"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконос класса").
%18
машина("BMW 4 series") :- это("немец"),
это("купе"),
свойство("У нее", "кожаный салон"),
свойство("Она", "бизнес класса").
%19
машина("BMW 2 series") :- это("немец"),
это("купе"),
свойство("У нее", "тканевый салон"),
свойство("Она", "эконом класса").
%20
машина("BMW X1") :- это("немец"),
это("кроссовер"),
свойство("У нее", "кожаный салон"),
свойство("Она", "бизнес класса"),
свойство("У нее", "передний привод").

это("внедорожник") :- свойство("У нее", "четыре двери"),
    свойство("У нее", "полный привод"),
    свойство("У нее", "большой клиренс").
это("кроссовер"):- свойство("У нее", "четыре двери"),
    свойство("У нее", "большой клиренс"),
    свойство("У нее", "большой багажник").
это("седан"):-свойство("У нее", "четыре двери"),
    свойство("Она", "с отдельным багажником").
это("японец"):-свойство("Она", "качественная").
это("немец"):-свойство("Она", "быстрая").
это("швед"):-свойство("Она", "безопасная"), свойство("Она", "качественная").
это("отечественный"):-свойство("Она", "доступная").
это("француз"):-свойство("Она", "качественная"), свойство("Она", "надежная").
это("лифтбек"):-свойство("У нее", "четыре двери"),
    свойство("У нее", "удобный багажник").
это("купе"):-свойство("У нее", "две двери"),
    свойство("Она", "с отдельным багажником").


свойство(Арг, Арг2) :- верно(Арг, Арг2), !.
свойство(Арг, Арг2) :- not(ложно(Арг, Арг2)), узнать(Арг, Арг2, Ответ), Ответ=да.

нет_свойства(Арг, Арг2) :- ложно(Арг, Арг2), !.
нет_свойства(Арг, Арг2) :- not(верно(Арг, Арг2)), узнать(Арг, Арг2, Ответ), Ответ=нет.

узнать(Арг, Арг2, Ответ) :- write(Арг),write(" "), write(Арг2), read(Ответ), запомнить(Арг, Арг2, Ответ).

запомнить(Арг, Арг2, да) :- assert(верно(Арг,Арг2)).
запомнить(Арг, Арг2, нет) :- assert(ложно(Арг,Арг2)).

очистить:-retract(верно(_,_)), fail.
очистить:-retract(ложно(_,_)), fail.