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