B-Prolog是一个Prolog系统扩展并发编程，约束和交互式图形。该系统是基于一个显着精制WAM，称为ATOAM，便于软件仿真。

　　除了一个ATOAM模拟器用C写一个垃圾收集器，该系统由一个编译器和写在Prolog语言的解释器，以及丰富的C语言编写，Prolog的内部谓词的图书馆。 B-Prolog语言Prolog语言遵循的标准，但也享有一些功能是无法使用传统的Prolog系统。