ЯЗЫКИ ПРОГРАММИРОВАНИЯ Логические языки программирования примеры