B-Prolog是一个Prolog系统扩展并发编程，约束和交互式图形。该系统是基于一个显着精制WAM，称为ATOAM，便于软件仿真。
除了一个ATOAM模拟器用C写一个垃圾收集器，该系统由一个编译器和写在Prolog语言的解释器，以及丰富的C语言编写，Prolog的内部谓词的图书馆。 B-Prolog语言Prolog语言遵循的标准，但也享有一些功能是无法使用传统的Prolog系统。
- RISA-3D 三维设计软件 v16.0.5 破解安装版(附破解教程+许可文件)
- forev FV-850S手柄驱动(手柄驱动整合助手) V1.0 免费最新版
- 小木木多功能黑客专用记事本 V1.6 绿色免费版
- TSC DC2900打印机驱动 V1.0 免费最新版
- FlexLogger 2018 R3 中文特别版(附安装教程)
- Guagle(波形数据生成工具) V1.01 免费绿色版
- SplineMaster三次样条插值工具 v2.0 免费绿色版
- 批量改名大师演示版(文件改名工具) V1.8.8 免费安装版
- ACCA Software PriMus(成本估算工程量清单软件) V50.0 免费安装版
- 落雨角色名字工具(角色ID生成) V1.0 免费绿色版
- 雅轩YY协议马甲生成器(yy马甲生成器) V4.0 免费绿色版
- Browsec Chrome(Chrome浏览器扩展) v2.3.9 免费绿色版
- 泡面计时器(定时计时器) V1.1 免费绿色版
- 时间同步实用程序 V1.2 免费绿色版
- Public Debate Timer(辩论赛计时软件) v3.7.10.415 免费绿色版(附使用手册)
- 加菲狗(智能摄像监控软件) for Android V3.2.2.2005 安卓手机版
- 编程猫训练师 V2.0.2 免费安装版
- 开目CAD(KMCAD) v2018 官方最新免费版(附安装教程)
- EnergyXT(音频制作器) V2.6.1 免费安装版
- Drug And Statistics(药动学软件) v1.0 中文免费绿色版
- 实用秒表(秒表计时器下载) V1.00 免费绿色版
- 拼多多超级店长(拼多多辅助软件) V1.2 中文绿色版
- 人人译视界 for mac v20241223 苹果电脑版
- 站长之家百度指数批量查询工具(百度指数查询软件) V1.01 绿色免费版
- 振荡电路计算器(LC振荡电路计算工具) V1.1 免费绿色版
- 魔兽争霸3冰封王座真三国无双D1.6 AI版
- 魔兽争霸3冰封王座 Lost Temple之守护阿尔塞斯1.4正式版
- 侠客风云传前传修正版补丁v1.0.2.3
- 魔兽争霸3冰封王座官方完整升级补丁（适用简中版）
- 《文明5》Ingame Editor(游戏编辑器修改器)
- 人类大战怪兽联盟游戏HD
- BB弹-2017年全民第一好玩的欢乐消除游戏
- 棒球杀手
- 愤怒打小鸟
- 炸弹台球
- 幸好还有后来
- 病娇的相处理论
- 龙纹玉之开启神魔
- 染莲至陌
- 司机大叔别想逃
- 纸鸢
- 逆世狂后
- 我的师父是谪仙
- 穷追
- 小星星
- 伏击
- 恰似你的阳光
- 狐影
- 嘿，老头！
- 废柴兄弟3
- 神医传奇
- 妈妈向前冲
- 神盾局特工 第三季
- 幸福的方向
- 刀光枪影