Логические языки программирования: специфические особенности, примеры Логические языки программирования примеры