Age | Commit message (Collapse) | Author |
|
Fact library is not a part of the solution, and is loaded separately
when running queries or tests for a particular problem.
|
|
|
|
|
|
|
|
|
|
description.
JavaScript no longer parses pythonic problem descriptions, instead they are loaded by server and JSONized.
|
|
|
|
Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Run with "swipl main.pl".
|
|
Collects all the answers to a given query within the specified timeout.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
but it should reference the triplet (language_id, problem_group_id, identifier) instead.
|
|
|
|
database connection handling into __init__.py of the db package.
|
|
problem_group, problem.
|
|
new directory structure.
|
|
|
|
- auth_user -> codeq_user,
- tutor_attempt -> solution.
|
|
|
|
Converted the action.py to use the new model.
|
|
|
|
|
|
|
|
The parser is currently unused.
|
|
Hope it does not break anything.
|
|
The only way to get residuals in CLP queries.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Also simplify rules for list expressions.
|
|
|
|
Also a testing loop to prolog.lexer.
|
|
|
|
|