编写Prolog可以使用以下几种软件：

SWI-Prolog

类型：开源的Prolog编程环境

特点：跨平台（Windows、Mac、Linux），丰富的库和工具，交互式编程和批处理模式，图形化界面，调试器和性能分析工具。

GNU Prolog

类型：开源的Prolog编程环境

特点：跨平台（Windows、Mac、Linux），遵循ISO Prolog标准，性能较好，稳定性较高，简单易用的界面和调试功能。

SICStus Prolog

类型：商业化的Prolog编程环境

特点：跨平台（Windows、Mac、Linux、Unix），高性能和可靠性，强大的调试功能和优化器，丰富的库和工具，支持多线程和并行运算。

XSB

类型：基于逻辑编程和规则系统的Prolog编程环境

特点：高效的答案是集求解和扩展性，支持交互式和批处理模式，具有图形化界面和各种扩展模块。

Eclipse Prolog插件

类型：集成开发环境（IDE）插件

特点：适用于Eclipse IDE，支持Prolog编程，提供语法高亮、代码补全、调试等功能。

Visual Prolog

类型：基于图形化界面的Prolog编程工具

特点：可视化开发环境和调试器，支持面向对象的编程风格，适合开发较大的程序，提供试用版本。

Pyswip

类型：Python库

特点：允许在Python代码中无缝集成Prolog知识库，支持Prolog查询和断言，方便在Python项目中使用Prolog。

Amzi! Prolog

类型：包含解释器和编译器的Prolog版本

特点：需要运行器运行编译后的程序，可以与其他语言（如Visual Basic、Java、C、CGI）连接，开发智能程序。

Turbo Prolog

类型：Prolog编程环境

特点：较快的运行速度，提供图形软件包XPCE，适合开发有界面的程序。

根据你的需求和偏好，可以选择以上一个或多个软件进行Prolog编程。对于初学者和需要快速开发原型的人来说，SWI-Prolog和GNU Prolog是很好的选择。对于需要高性能和复杂功能的项目，可以考虑使用SICStus Prolog或XSB。如果你希望在Python项目中使用Prolog，Pyswip是一个值得尝试的库。