The extension provides the additional functionality of forward chaining and attribute variables. We also provide a CLP solver, a CLP solver, CHR rules and ASP rules. Jekejeke Minlog is written partly in 100% Java and partly in Prolog itself. To use Jekejeke Minlog one has first to install either Jekejeke Runtime or Jekejeke Environment or both.
コメント