Prolog 語言入門
實現
- SWI-Prolog （免費） swi-prolog
- 在 c 中實現
- SICStus （商業） sicstus-prolog
- DO （免費） 品牌
- GNU Prolog （免費） gnu-prolog
- XSB （免費） xsb
- B （商業） b-prolog
- IF （商業）
- 你好 （免費）
- 密涅瓦 （商業）
- ECLiPSe-CLP （免費） eclipse-clp
- Jekejeke Prolog （商業）
- Prolog IV
- 收益 Prolog （免費）
- 在 C# ， javascript 和 phyton 中實現
- Visual Prolog （商業） 視覺序言