Online Library TheLib.net » Тема, жанр, tags: Logic Logic Programming Prolog Deduction Systems