Author Commit Message Labels Comments Date
Pierre Carbonnelle avatarPierre Carbonnelle
remove str(VarSymbol)
Pierre Carbonnelle avatarPierre Carbonnelle
Full support of functions of functions, and functions of operations.
Pierre Carbonnelle avatarPierre Carbonnelle
fix error in precalculations of a function of a function
Pierre Carbonnelle avatarPierre Carbonnelle
move parser of pyDatalog program to bottom of file
Pierre Carbonnelle avatarPierre Carbonnelle
stop searching when Goal is reached --> hashtag solution in 11 seconds
Pierre Carbonnelle avatarPierre Carbonnelle
define and use subgoal.is_done.
Pierre Carbonnelle avatarPierre Carbonnelle
Minor changes
Pierre Carbonnelle avatarPierre Carbonnelle
remove obsolete Fast option
Pierre Carbonnelle avatarPierre Carbonnelle
use thunking for aggregate. Simplify negation.
Pierre Carbonnelle avatarPierre Carbonnelle
various fixes in examples
Pierre Carbonnelle avatarPierre Carbonnelle
small fixes
Pierre Carbonnelle avatarPierre Carbonnelle
fix rule(subgoal, clause, selected) for partial literals
Pierre Carbonnelle avatarPierre Carbonnelle
pretty print the result of in-line queries
Pierre Carbonnelle avatarPierre Carbonnelle
support for the len_ function (not the aggregate operator)
Pierre Carbonnelle avatarPierre Carbonnelle
remove some dead code
Pierre Carbonnelle avatarPierre Carbonnelle
support for range_(N) function, tuple_(X, order_by=Y) aggregator
Pierre Carbonnelle avatarPierre Carbonnelle
use pyDatalogError instead of assert
Pierre Carbonnelle avatarPierre Carbonnelle
use logging module to replace pyEngine.Debug, Trace.
Pierre Carbonnelle avatarPierre Carbonnelle
Negation will not bind variables anymore.
Pierre Carbonnelle avatarPierre Carbonnelle
minor changes in code style
Pierre Carbonnelle avatarPierre Carbonnelle
optimisation : no need to keep looking if THE answer is found already
Pierre Carbonnelle avatarPierre Carbonnelle
add hashtag solution using a Python Resolver
Pierre Carbonnelle avatarPierre Carbonnelle
add timer to hashtag.py
Pierre Carbonnelle avatarPierre Carbonnelle
add 'hashtag' example, and fix unicity of derived functional facts
Pierre Carbonnelle avatarPierre Carbonnelle
miscellaneous
Pierre Carbonnelle avatarPierre Carbonnelle
minor change
Pierre Carbonnelle avatarPierre Carbonnelle
remove circular imports by using util.py
Pierre Carbonnelle avatarPierre Carbonnelle
measure performance after 5 sec JIT warm-up time
Pierre Carbonnelle avatarPierre Carbonnelle
add arity to unprefixed python resolver. Use python resolver to speed up queens.
Pierre Carbonnelle avatarPierre Carbonnelle
simplify id by using counter. remove add_size.
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.