B-Prolog是一个Prolog系统扩展并发编程，约束和交互式图形。该系统是基于一个显着精制WAM，称为ATOAM，便于软件仿真。
除了一个ATOAM模拟器用C写一个垃圾收集器，该系统由一个编译器和写在Prolog语言的解释器，以及丰富的C语言编写，Prolog的内部谓词的图书馆。 B-Prolog语言Prolog语言遵循的标准，但也享有一些功能是无法使用传统的Prolog系统。
- 清华版英语一下(英语学习应用软件)v2.6.2安卓版
- 启晨养老(老年人生活服务平台) v1.0.4 安卓版
- 大东方教育(在线学习教育辅导平台)v1.0.13安卓版
- 药学士(药学考试学习辅助软件)v1.2.4安卓版
- 卫生检验技术士(医学学习软件)v1.2.4安卓版
- 初级经济师金融经济师(经济师考证在线学习应用软件)v1.2.4安卓版
- 中级经济师工商管理专业(经济师教学软件)v1.2.4安卓版
- 行书相机(旅行记录相册软件) v1.2.5 安卓手机版
- 皮革人才网(在线招聘软件) v1.0.8 安卓版
- 晓狮(数字化教学服务平台)v1.4.1安卓版
- 小学科学XR教室(儿童启蒙早教学习软件)v1.4安卓版
- 看牙帮(牙科口腔健康服务平台) v1.09.11 安卓手机版
- 明萌教育(专业辅导教学软件)v2.4.6安卓版
- 图小小相册 v1.1.8 安卓版
- 萌蜘助宠盯(宠物管理软件)v1.0.0安卓版
- 联动云租车(共享租车平台) v5.42.0 苹果手机版
- 福星好礼(科普知识手机软件)v1.0.2安卓版
- 萌拾(宠物训练养护软件) v1.0.0 安卓手机版
- 远程观星(天气气象预报软件)v1.1.0安卓版
- 乐享湟源(手机外卖软件) v10.8.2 安卓手机版
- 未泱英文阅读(少儿英语阅读学习软件)v1.7.2安卓版
- 小学语文同步学堂(小学学习软件) v2.1.9 安卓版
- 锡才云培训(无锡人才学习软件)v2.1.5安卓版
- 咨询工程师准题库(备考学员辅导应用软件)v5.20安卓版
- 西宾酷我音乐下载 V1.0 绿色便携版
- 机器人乒乓球
- 小心！狗狗正睡觉呢！
- 新一代合金弹头4
- 科纳的木箱中文版
- 小英雄奔跑
- 天使大战恶魔
- 攻击棋
- 天空羊 Sky sheep
- 无敌龙王
- 抢滩登陆2012
- 魔修的吐糟
- 评《倾楚天下（GL）》
- 献给望夏的长评
- 亲爱的，有没有人这样的喜欢过你？
- 明滅
- 换个时空想念你
- 第一节
- 脚步
- 春光无限
- 坠六翼
- 深情密码
- 靠近你温暖我
- 非常岳母
- 唐山绝恋
- 高朋满座
- 贞观之治
- 大爆炸
- 谜情家族
- 范府大院
- 风尘三侠之红拂女