開發者 sprolog.sf.net

小 Prolog 是 Prolog 解釋器， 最初由 Henri de Feraudy 開發， 由 C 使用者組磁碟 # 297 分發。它之所以出名，是因為它嵌入了 Windows NT 網路代碼中。