Логическое программирование основано на выводе информации... Иначе это процесс изучения мира. Иначе это Prolog: auto (model,year,kw,power,engine,h.p)
