index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
prolog
Age
Commit message (
Expand
)
Author
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
2015-08-20
Replace strip_html function in prolog.engine
Timotej Lazar
2015-08-11
Print 'true' on success with no bindings
Timotej Lazar
[next]