Интерпретатор на основе Пролога

Я уже замочил ноги в функциональном программировании; я знаком (хотя и не владею) Haskell и PLT Scheme. Я использовал Схема PLT для создания маленьких интерпретаторов для игрушечных языков (ссылаясь на PLAI) - я лучше работаю с императивными языками.

Может ли кто-нибудь направить меня к ресурсам, которые я мог бы использовать для создания небольшого интерпретатора игрушечного языка по моему выбору с помощью Prolog?