B-Prolog是一个Prolog系统扩展并发编程，约束和交互式图形。该系统是基于一个显着精制WAM，称为ATOAM，便于软件仿真。
除了一个ATOAM模拟器用C写一个垃圾收集器，该系统由一个编译器和写在Prolog语言的解释器，以及丰富的C语言编写，Prolog的内部谓词的图书馆。 B-Prolog语言Prolog语言遵循的标准，但也享有一些功能是无法使用传统的Prolog系统。
- 模拟键盘输入助手
- 易捷听打练习提速软件
- 中文识字教学无重码
- simeji日语输入法
- 智能陈桥拼音
- 秦皇汉字输入法
- 云淡风轻书法软件
- 输入通输入法
- MyTouch易维触摸屏手写输入法
- 琳达成语词典
- 田字格字帖生成器
- 微软五笔码表编辑器
- 聚合基站查询
- 奇瑞汽车VIN码转PIN码计算器
- 查查通
- 图吧助手
- 《驾校王》驾校管理系统
- 车载视频分析软件(MVA)
- google ogcer
- 酷讯出行必备
- 千众订票助手
- 图幅号工具
- 全国交通违章查询软件
- 火车查询王
- 比机票
- 王国重生六项修改器(无限资源/无限sp/无限科技点) v0.7-v0.77 风灵月影版
- 合并拼图加(消除手游) for android v1.1.9 安卓手机版
- 滚动的香肠 for android v1.2.3 安卓手机版
- 蹦蹦战车大作战 for Android V1.1.9 安卓手机版
- 像素荒野战场 for Android V1.0.7 安卓手机版
- 解压小游戏 for Android V1.0.5 安卓手机版
- 疯狂的躲避 for Android V1.0 安卓手机版
- 消逝的光芒2EPIC联机工具 免费版
- 颜色征服 for Android v0.1.1 安卓手机版
- 愉快的篮球战斗 for Android v1.0.4 安卓手机版
- 新时期中国少数民族文学作品选集(基诺族卷)
- 新时期中国少数民族文学作品选集(门巴族卷珞巴族卷)
- 新时期中国少数民族文学作品选集(土族卷)
- 病毒性肝炎与肝硬化/中西医结合慢性病防治指导与自我管理丛书
- 免疫性血小板减少性紫癜/中西医结合慢性病防治指导与自我管理丛书
- 冠心病冠脉术后康复与调理/中西医结合慢性病防治指导与自我管理丛书
- 慢性阻塞性肺疾病/中西医结合慢性病防治指导与自我管理丛书
- 强直性脊柱炎/中西医结合慢性病防治指导与自我管理丛书
- 中医杂病治验录
- 冠状动脉CTA临床应用
- 碧波仙子
- 吸血鬼检察官
- 螳螂
- 住在清潭洞
- 誓言今生
- 代号十三钗
- 江南传奇之十五贯
- 开天辟地
- 杜鹃的女儿
- 戏里戏外 第一季