开发者 tuprolog.sf.net

2P 是一个轻量级 Prolog 系统（解释器和 API），具有核心最小性（适用于小程序和移动计算）、动态可扩展性和可配置性、与 Java 的无缝双向集成（和 .NET 中的 .NET 版本）