JLog 源代码.JLog是Prolog的Java实现，是一种谓词逻辑编程语言。这是Java语言的接口。