../ 2p/ - - 2p-js/ - - 2p-jvm/ - - 2p-metadata/ - - argumentation/ - - bdd/ - - bdd-js/ - - bdd-jvm/ - - core/ - - core-js/ - - core-jvm/ - - core-metadata/ - - datalog/ - - datalog-js/ - - datalog-jvm/ - - dsl-core/ - - dsl-core-js/ - - dsl-core-jvm/ - - dsl-core-metadata/ - - dsl-solve/ - - dsl-solve-js/ - - dsl-solve-jvm/ - - dsl-solve-metadata/ - - dsl-theory/ - - dsl-theory-js/ - - dsl-theory-jvm/ - - dsl-theory-metadata/ - - dsl-unify/ - - dsl-unify-js/ - - dsl-unify-jvm/ - - dsl-unify-metadata/ - - examples/ - - full/ - - full-js/ - - full-jvm/ - - ide/ - - ide-plp/ - - io-lib/ - - io-lib-js/ - - io-lib-jvm/ - - io-lib-metadata/ - - oop-lib/ - - oop-lib-js/ - - oop-lib-jvm/ - - oop-lib-metadata/ - - parser-core/ - - parser-core-js/ - - parser-core-jvm/ - - parser-core-metadata/ - - parser-js/ - - parser-jvm/ - - parser-theory/ - - parser-theory-js/ - - parser-theory-jvm/ - - parser-theory-metadata/ - - repl/ - - repl-js/ - - repl-jvm/ - - repl-metadata/ - - serialize-core/ - - serialize-core-js/ - - serialize-core-jvm/ - - serialize-core-metadata/ - - serialize-theory/ - - serialize-theory-js/ - - serialize-theory-jvm/ - - serialize-theory-metadata/ - - solve/ - - solve-classic/ - - solve-classic-js/ - - solve-classic-jvm/ - - solve-classic-metadata/ - - solve-concurrent/ - - solve-concurrent-js/ - - solve-concurrent-jvm/ - - solve-js/ - - solve-jvm/ - - solve-metadata/ - - solve-plp/ - - solve-plp-js/ - - solve-plp-jvm/ - - solve-problog/ - - solve-problog-js/ - - solve-problog-jvm/ - - solve-streams/ - - solve-streams-js/ - - solve-streams-jvm/ - - solve-streams-metadata/ - - test-solve/ - - test-solve-js/ - - test-solve-jvm/ - - test-solve-metadata/ - - theory/ - - theory-js/ - - theory-jvm/ - - theory-metadata/ - - unify/ - - unify-js/ - - unify-jvm/ - - unify-metadata/ - - utils/ - - utils-js/ - - utils-jvm/ - - utils-metadata/ - -