User Activity

  • Committed [6d7b14]

    update dual construction with latest/2, but lat...

  • Committed [103564]

    splitting preprocessing and system predicates

  • Committed [94e695]

    implementing loading clauses from input file

  • Committed [9304ea]

    new preprocessing file

View All

Personal Data

Username:
saptawijaya
Joined:
2013-06-05 23:16:06

Projects

This is a list of open source software projects that Ari is associated with:

  • evolp/r Logic Program Updates System Last Updated:
  • tabdual Tabled abduction in logic programs. Last Updated:

Personal Tools

MongoDB Logo MongoDB