При использовании Prolog в качестве языка логического программирования возникает ряд проблем. Несмотря на то что этот язык является самым распространенным и полезным инструментом, его нельзя назвать ни «чистым», ни совершенным языком логического программирования.