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 （商业） 视觉序言