B-Prolog是一个Prolog系统扩展并发编程，约束和交互式图形。该系统是基于一个显着精制WAM，称为ATOAM，便于软件仿真。
除了一个ATOAM模拟器用C写一个垃圾收集器，该系统由一个编译器和写在Prolog语言的解释器，以及丰富的C语言编写，Prolog的内部谓词的图书馆。 B-Prolog语言Prolog语言遵循的标准，但也享有一些功能是无法使用传统的Prolog系统。
- 级兔仔安全视窗
- SystemLock
- Encrypt Easy
- BPS PC Internet Firewall Security
- System Intrusion Console
- GetDataBack
- BPS Spyware_Adware Remover
- File & Folder Protector
- KeyGuard
- Abel文件加密器
- Cookie Muncher
- Access Administrator pro
- SpyRemover
- CryptoExpert Lite
- SpyMyPC PRO
- CryptoExpert Professional
- Passphrase Keeper
- Advanced Encryption Plug-In
- hide
- Captain Mnemo
- 文件加密器
- 文本加密宝2009
- Abylon Basic
- EldoS KeyLord
- ID_Bank
- 大扫除
- 大牙怪对对碰
- 天外飞饼
- 太空发射站
- 夺金之旅1
- 贪食蛇对决
- 奇异地道
- 奇怪企鹅打宝石
- 奔腾天下
- 货运大卡车2
- 汉书，后汉书（全4册）
- 爸爸的格局决定孩子的起点
- 防治校园欺凌--学理与实证
- 白色的大海(精)/年糕妈妈亲子科普绘本
- 希望与恐惧之间
- 深埋洞室物理模型试验
- 龙虱(注音美绘版)/智慧微童话
- 舍不得看完的中国史(秦并天下)
- 在全国抗击新冠肺炎疫情表彰大会上的讲话(2020年9月8日)
- 百年经典童话绘本(修订版第5辑共6册)
- 身边的幸福
- 神的晚餐
- 因为是你才喜欢
- 时尚王
- 正者无敌
- 我的女儿素英
- 无名高地
- 天才碰麻瓜
- 虎符传奇
- 雷霆扫毒