Age | Commit message (Expand) | Author |
2016-07-15 | Fix prolog runner for SWI-Prolog ≥ 7.3.22 | Timotej Lazar |
2016-05-29 | Prolog runner: allow call/1 in sandboxed mode | Timotej Lazar |
2016-05-16 | Detect predicates used in DCG clauses | Timotej Lazar |
2016-05-15 | Support a | b notation for DCGs | Timotej Lazar |
2016-05-15 | Hack in support for DCGs in Prolog parser | Timotej Lazar |
2016-05-08 | Prolog: allow custom inference limit in check_answers | Timotej Lazar |
2016-05-08 | Prolog: support CLP(FD) in parser | Timotej Lazar |
2016-05-06 | Prolog: increase inference limit for test queries | Timotej Lazar |
2016-05-06 | Prolog: increase inference limit for test queries | Timotej Lazar |
2016-04-24 | Support CLP(R) expressions in Prolog parser | Timotej Lazar |
2016-04-08 | Prolog: use A,B,C,… for normalized variable names | Timotej Lazar |
2016-04-08 | Remove unused prolog.util.normalized | Timotej Lazar |
2016-04-07 | Always return a string in prolog.util.Token.__str__ | Timotej Lazar |
2016-03-12 | Fix pengine regex | Timotej Lazar |
2016-02-29 | Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() funct... | Aleksander Sadikov |
2016-02-28 | Increase thread pool size for Prolog runner | Timotej Lazar |
2016-02-23 | Replace urllib3.ReadTimeoutException with socket.timeout | Timotej Lazar |
2016-02-23 | Prolog engine: allow lists predicates in sandbox | Timotej Lazar |
2016-02-17 | prolog.engine: use a urllib3 HTTP connection pool | Timotej Lazar |
2016-01-12 | Replace prolog.util.rename_vars with rename_vars_list everywhere | Timotej Lazar |
2016-01-06 | Remove unused imports | Timotej Lazar |
2016-01-04 | Add function to find predicates used by a Prolog program | Timotej Lazar |
2015-12-11 | Rename a function | Timotej Lazar |
2015-12-11 | Use a more general method for extracting edits | Timotej Lazar |
2015-12-10 | Support Tree objects in python.util.stringify | Timotej Lazar |
2015-12-10 | Disable debug info when generating Prolog parser | Timotej Lazar |
2015-12-10 | Sort token list for Prolog parser | Timotej Lazar |
2015-12-10 | Fix a parser bug | Timotej Lazar |
2015-12-10 | Add prolog.util.parse method | Timotej Lazar |
2015-12-10 | Use the NLTK ParentedTree class for parser output | Timotej Lazar |
2015-12-10 | Add copyright info | Timotej Lazar |
2015-11-30 | Limit the number of inferences for Prolog queries | Timotej Lazar |
2015-11-27 | Fix: response on /pengine/destroy_all is just "ok" | Timotej Lazar |
2015-11-18 | Disable predicate autoloading in Prolog engine | Timotej Lazar |
2015-11-18 | Fix test code in prolog.engine | Timotej Lazar |
2015-11-04 | Fix prolog.engine.check_answers | Timotej Lazar |
2015-10-05 | Add the prolog runner to be used for daemonisation in init scripts. | Aleš Smodiš |
2015-09-17 | Replace prolog.engine.ask_all with check_answers | Timotej Lazar |
2015-09-10 | Update prolog engine (sasha's aux functions for prolog hint testing added). | Aleksander Sadikov |
2015-08-30 | Replaced localhost with 127.0.0.1 | Aleksander Sadikov |
2015-08-28 | Fix regex for stripping internal Prolog engine IDs | Timotej Lazar |
2015-08-27 | Strip trailing periods from Prolog queries | Timotej Lazar |
2015-08-27 | Replace prolog.engine.run with ask_all | Timotej Lazar |
2015-08-27 | Fix a typo and add a comment | Timotej Lazar |
2015-08-26 | Use /destroy_all to abort and destroy pengines | Timotej Lazar |
2015-08-21 | Add a hashbang line to the Prolog server script | Timotej Lazar |
2015-08-20 | Add a Prolog pengine server for running queries | Timotej Lazar |
2015-08-20 | Add prolog.engine.run | Timotej Lazar |
2015-08-20 | Simplify and privatize prolog.engine.get_message | Timotej Lazar |
2015-08-20 | Add a timeout option for prolog.engine requests | Timotej Lazar |