Без заголовка

А чем "логические" языки принципиально отличаются от других декларативных? Что такого можно написать на прологе, чего нельзя на SQL?