ivanov 8

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

это("Java"):-свойство("Статическая", "типизация").
это("Java"):-свойство("Не стандартизированный", "язык программирования").
это("Java"):-свойство("Нет", "множественного наследования").

это("С++"):-свойство("Статическая", "типизация").
это("С++"):-свойство("Ручное", "управление памятью").
это("С++"):-свойство("Есть", "множественное наследование").
это("С++"):-свойство("Поддерживает", "макросы").
это("С++"):-свойство("Стандартизированный", "язык программирования").

это("Python"):-свойство("Динамическая", "типизация").
это("Python"):-свойство("Есть", "структура данных кортеж").
это("Python"):-свойство("Есть", "множественное наследование").
это("Python"):-свойство("Не стандартизированный", "язык программирования").

это("JavaScript"):-свойство("Статическая", "типизация").
это("JavaScript"):-свойство("Стандартизированный", "язык программирования").

фреймворк("Spring"):-это("Java"),
свойство("Использует", "шаблон проектирование MVC"),
свойство("Есть", "способность управления транзакциями"),
свойство("Есть", "Inversion of Control-контейнер").

фреймворк("Django"):-это("Python"),
свойство("Использует", "шаблон проектирование MVC"),
свойство("Есть", "собственная ORM, описанная стандартными классами"),
свойство("Есть", "Inversion of Control-контейнер").

фреймворк("Hibernate"):-это("Java"),
свойство("Является", "самой популярной спецификацией JPA"),
свойство("Предназначен", "для решения ORM задач"),
свойство("Использует", "собственный SQL-подобный язык").

фреймворк("Qt"):-это("C++"),
свойство("Использует", "метаобъектный компилятор для предварительной обработки кода"),
свойство("Реализовывает", "технологию WoT (Widgets on Canvas)"),
свойство("Комплектуется", "собственной визуальной средой разработки").

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

фреймворк("Juce"):-это("C++"),
свойство("Есть", "визуальное проектирование интерфейсов"),
свойство("Есть", "реализация ui на С++").

фреймворк("OpenCV"):-это("Python"),
нет_свойства("Статическая", "типизация"),
свойство("Является", "библиотекой компьютерного зрения"),
свойство("Содержит", "алгоритмы для обработки изображений").

фреймворк("AngularJS"):-это("JavaScript"),
свойство("Использует", "шаблон проектирование MVC"),
свойство("Работает", "с HTML"),
свойство("Обеспечивает", "двустороннюю привязку данных для динамического контента").

фреймворк("Polymer"):-это("JavaScript"),
свойство("Разрабатывается", "Google"),
свойство("Используется", "для создания веб приложений с использованием технологии Web Components.").

фреймворк("AngularJS"):-это("JavaScript"),
свойство("Использует", "шаблон проектирование MVC"),
свойство("В основе", "принципов лежат маршруты, определяющие состояние приложения"),
свойство("Использует", "контроллеры для добавления логики отображения в модели").

фреймворк("Meteor"):-это("JavaScript"),
свойство("Предназначен", "для разработки Web приложений реального времени"),
свойство("В качестве", "хранилища использует MongoDB"),
свойство("Использует", "одинакоывй код на клиенте и сервере"),
свойство("Использует", "DDP протокол для связи с браузерами").

фреймворк("RxJava"):-это("Java"),
свойство("Ориентирован", "на представление данных в виде потоков"),
свойство("Реализует", "принципы реактивного программирования"),
свойство("", "одинакоывй код на клиенте и сервере"),
свойство("Использует", "DDP протокол для связи с браузерами").

фреймворк("Swing"):-это("Java"),
свойство("Используется", "для создания графических интерфейсов"),
свойство("Использует", "принцип Lightweight").

фреймворк("Boost"):-это("C++"),
свойство("Включает", "библиотеку линейной алгебры uBLAS с операциями для векторов и матриц"),
свойство("предоставляет", "удобный кроссплатформенный высокоуровневый интерфейс").

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

свойство(Арг, Арг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.