B-Prolog是一个Prolog系统扩展并发编程，约束和交互式图形。该系统是基于一个显着精制WAM，称为ATOAM，便于软件仿真。
除了一个ATOAM模拟器用C写一个垃圾收集器，该系统由一个编译器和写在Prolog语言的解释器，以及丰富的C语言编写，Prolog的内部谓词的图书馆。 B-Prolog语言Prolog语言遵循的标准，但也享有一些功能是无法使用传统的Prolog系统。
- ChemDoodle
- FmPro Migrator For Mac
- OrangeVocoder
- GraphicDesignerToolbox
- Frizzix For Mac
- Prism Video Converter For Mac
- TextSpeech Pro
- newLISP For Mac
- L-Ceps Personaltrainer Burmese
- uPointer
- PDF Merge
- NoteTaker For Mac
- Menu Browser
- TrueCrypt
- Gmail Studio
- DarkAdapted
- TwitHaven
- CRMHaven
- Screenium For Mac
- Chronos
- iTranslate
- iEncode
- iOrgSoft Video Editor for Mac
- iorgsoft MPG Converter for Mac
- iorgsoft FLV Converter for Mac
- 水果爆破 Fruit Smash
- Jigsaw Puzzle Antiques
- Chicken Fortress 3D Lite
- 中国好耳朵
- 跳跃的巴迪 Jumping Buddy
- 警署停车 Police Station Parking 1 Free
- 萌鸟跳跃
- 神秘宝石
- 外星人呢
- 城镇交通3D TrafficVille 3D
- 致宇智波ぁ佐助
- 门铃
- 晚 晴
- Maybe I Love You 网王同人
- 白玉之兰
- 难色医院
- 梦雪
- 默默
- [番外]猎时花·秋灯红
- 这爱里的枝微末节就算都体验
- 抉择：女人们的战争
- 黑狗
- 三千鸦杀
- 小女霓裳
- 商业调查师
- 巧克力
- 辅佐官2：改变世界的人们
- 切尔诺贝利
- 身为一个胖子
- 恋上喵星人