A pure-python implementation of a subset of prolog, using SLG algorithm with memoization
Project description
pyDatalog brings logic programming to python. Assert facts and insert logic clauses directly in your python code, and use the inference engine to resolve complex, recursive queries fast.
Datalog is a subset of prolog that is best at managing large sets of related information (e.g. in data integration or the semantic web). at simulating intelligent behavior (e.g. in games), or at performing recursive algorithms (e.g. in network protocol, code and graph analysis)
Datalog statements can be specified in any order, eliminating the need for sequence diagrams and the associated risk of tricky errors. Datalog programs are often shorter than their python equivalent.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.