B-Prolog是一个Prolog系统扩展并发编程，约束和交互式图形。该系统是基于一个显着精制WAM，称为ATOAM，便于软件仿真。
除了一个ATOAM模拟器用C写一个垃圾收集器，该系统由一个编译器和写在Prolog语言的解释器，以及丰富的C语言编写，Prolog的内部谓词的图书馆。 B-Prolog语言Prolog语言遵循的标准，但也享有一些功能是无法使用传统的Prolog系统。
- 同升简易版
- 车无限
- 芭蕾娜教育
- G课堂
- 掌上助手内部版
- 苏博购
- 蓝城客户服务系统
- 华仓OA
- 呱呱骑手
- 新团商家版
- 及客出行
- 万都房产
- 名都地产
- 小决定
- 欧路词库生成器(欧路词库编辑器)
- 图片修复软件(Stellar Phoenix JPEG Repair)
- 修改“我的电脑”名称与图标工具
- 天亿文件比较器
- vcds zhs
- 不能上网但能上QQ修复工具(WinsockxpFix)
- PKarp安全优化助手
- Chrono下载管理器插件
- 校园网不断网神器
- 任务管理(To Do Enhanced)
- 我若为王整站下载工具
- 在线桌球巡回赛
- 石器时代：杰克的冒险
- OOXX单机版
- 超级3D警车停车
- 疯狂打地鼠 Crazy hamster
- 逃离地狱 Escape From ...
- 阿尼玛之战
- 僵尸部队
- 宝岛保卫战
- 疯狂泡泡2
- 暴走漫画精选集(8)
- 基础教育均衡优质标准化发展研究--以广东省为例
- 离散数学<第五版>同步辅导及习题全解(新版配套清华版)/高校经典教材同步辅导丛书
- 水利工程质量监督理论与实践指南(2015第3版)
- 美国风(那些不可不知的文化经典)
- 用哈佛思维导图搞定英文EMAIL
- 用哈佛思维导图突破英语口语(全情景图解版)
- 管理会计--基于Excel的决策建模(工业和信息化部十二五规划教材)/华信经管创优系列
- 如何拓展你的人际网络(增加亲和力的11条法则修订本)
- 兴邦之路
- 少年嘉庆
- 失踪女人
- 凌云壮志包青天
- 生死劫
- 长剑相思
- 京华烟云
- 识骨寻踪 第一季
- 爱情中毒
- 谁主中原
- 玉碎