diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-12-31 16:44:46 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:01 +0200 |
| commit | 79527522a5c53e57fd15589d7cc12946a8372afb (patch) | |
| tree | 77cdd0a118740c6c84ebd0a9212a5d09158f85be /python | |
| parent | 164cf022747b06d1f9058f4ff3729098e4412310 (diff) | |
Delegate testing to a Prolog server
... which obsoletes *a lot* of effort in making the testing procedure
more robust in the past two years. Oh well. It seems to be the sanest
way of coping with more than one simultaneous user (who could have
predicted this use case?). The new way involves a PEngine server, and it
seems to work quite well. Remember Knuth: premature optimization (as in
ignoring possible solutions because they _might_ be to slow) is stupid.
TODO:
- library loading (again)
- use of previous solution (again)
- fix issues when converting non-ground terms to json
Side note, constructivism works: in the past few days I have reached a
much better but fundamentally ineffable intuition about Prolog, more so
than in the past two years teaching it. So, fuck ITS and rather fix the
schools by giving students something meaningful to do. Sigh.
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions