summaryrefslogtreecommitdiff
path: root/prolog/util.py
AgeCommit message (Expand)Author
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-01-12Replace prolog.util.rename_vars with rename_vars_list everywhereTimotej 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-10Fix a parser bugTimotej Lazar
2015-12-10Add prolog.util.parse methodTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-08-11Disable parser generationTimotej Lazar
2015-08-11Add a parser for (simplified) PrologTimotej Lazar
2015-08-11Remove unused function from prolog.utilTimotej Lazar
2015-08-11Annotate tokens instead of splitting programTimotej Lazar
2015-08-11Simplify calls to prolog.util.map_varsTimotej Lazar
2015-08-11Move normalize to prolog.utilTimotej Lazar
2015-08-11Clean up prolog.util.decomposeTimotej Lazar
2015-08-11Remove all trailing punctuation from linesTimotej Lazar
2015-08-11Move monkey.prolog to root moduleTimotej Lazar
2015-08-11Move pymonkey stuff to monkey/Timotej Lazar
2015-08-11Start refactoring testing codeTimotej Lazar
2015-08-11Keep token positions when lexingTimotej Lazar
2015-08-11Simplify prolog.util.map_varsTimotej Lazar
2015-08-11Add some ad-hoc test code to prolog/util.pyTimotej Lazar
2015-08-11Move PQueue and utility functions into util.pyTimotej Lazar
2015-08-11Use immutable values in queueTimotej Lazar
2015-08-11Remove unnecessary check from prolog.util.composeTimotej Lazar
2015-08-11Fix two bugs in prolog.util.decomposeTimotej Lazar
2015-08-11Optimize prolog.util.stringify (~15% faster)Timotej Lazar
2015-08-11CleanupsTimotej Lazar
2015-08-11Some cleanups in main programTimotej Lazar
2015-08-11Initial commit for pymonkeyTimotej Lazar