summaryrefslogtreecommitdiff
path: root/prolog
AgeCommit message (Expand)Author
2018-10-12Update sandbox for updated SWI-PrologHEADreleasemasterTimotej Lazar
2017-02-24prolog.parser: implement most remaining operatorsTimotej Lazar
2017-02-24Modify Prolog parser to produce ASTs instead of parse treesTimotej Lazar
2016-10-20Revert "Week2: simpop/3 exercise added."Timotej Lazar
2016-10-17Week2: simpop/3 exercise added.Aleksander Sadikov
2016-09-27Incorporate some tweaks to the monkey methodsTimotej Lazar
2016-07-15Fix prolog runner for SWI-Prolog ≥ 7.3.22Timotej Lazar
2016-05-29Prolog runner: allow call/1 in sandboxed modeTimotej Lazar
2016-05-16Detect predicates used in DCG clausesTimotej Lazar
2016-05-15Support a | b notation for DCGsTimotej Lazar
2016-05-15Hack in support for DCGs in Prolog parserTimotej Lazar
2016-05-08Prolog: allow custom inference limit in check_answersTimotej Lazar
2016-05-08Prolog: support CLP(FD) in parserTimotej Lazar
2016-05-06Prolog: increase inference limit for test queriesTimotej Lazar
2016-05-06Prolog: increase inference limit for test queriesTimotej Lazar
2016-04-24Support CLP(R) expressions in Prolog parserTimotej Lazar
2016-04-08Prolog: use A,B,C,… for normalized variable namesTimotej Lazar
2016-04-08Remove unused prolog.util.normalizedTimotej Lazar
2016-04-07Always return a string in prolog.util.Token.__str__Timotej Lazar
2016-03-12Fix pengine regexTimotej Lazar
2016-02-29Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() funct...Aleksander Sadikov
2016-02-28Increase thread pool size for Prolog runnerTimotej Lazar
2016-02-23Replace urllib3.ReadTimeoutException with socket.timeoutTimotej Lazar
2016-02-23Prolog engine: allow lists predicates in sandboxTimotej Lazar
2016-02-17prolog.engine: use a urllib3 HTTP connection poolTimotej Lazar
2016-01-12Replace prolog.util.rename_vars with rename_vars_list everywhereTimotej Lazar
2016-01-06Remove unused importsTimotej Lazar
2016-01-04Add function to find predicates used by a Prolog programTimotej Lazar
2015-12-11Rename a functionTimotej Lazar
2015-12-11Use a more general method for extracting editsTimotej Lazar
2015-12-10Support Tree objects in python.util.stringifyTimotej Lazar
2015-12-10Disable debug info when generating Prolog parserTimotej Lazar
2015-12-10Sort token list for Prolog parserTimotej Lazar
2015-12-10Fix a parser bugTimotej Lazar
2015-12-10Add prolog.util.parse methodTimotej Lazar
2015-12-10Use the NLTK ParentedTree class for parser outputTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-11-30Limit the number of inferences for Prolog queriesTimotej Lazar
2015-11-27Fix: response on /pengine/destroy_all is just "ok"Timotej Lazar
2015-11-18Disable predicate autoloading in Prolog engineTimotej Lazar
2015-11-18Fix test code in prolog.engineTimotej Lazar
2015-11-04Fix prolog.engine.check_answersTimotej Lazar
2015-10-05Add the prolog runner to be used for daemonisation in init scripts.Aleš Smodiš
2015-09-17Replace prolog.engine.ask_all with check_answersTimotej Lazar
2015-09-10Update prolog engine (sasha's aux functions for prolog hint testing added).Aleksander Sadikov
2015-08-30Replaced localhost with 127.0.0.1Aleksander Sadikov
2015-08-28Fix regex for stripping internal Prolog engine IDsTimotej Lazar
2015-08-27Strip trailing periods from Prolog queriesTimotej Lazar
2015-08-27Replace prolog.engine.run with ask_allTimotej Lazar
2015-08-27Fix a typo and add a commentTimotej Lazar
generated by cgit v1.2.1 (git 2.18.0) at 2024-04-20 10:42:17 +0000