Strawberry Prolog — диалект языка программирования Prolog. Его синтаксис близок ISO Prolog, но имеет множество расширений, которые не являются частью стандарта. По своей задумке Strawberry Prolog должен быть легким в использовании, поэтому некоторые университеты используют его для курсов по Prolog.
Strawberry Prolog разрабатывается институтом математики и информатики болгарской академии наук. Первая версия была выпущена в 1996 году.