LICENSE
MANIFEST.in
README.md
setup.py
natlog/__init__.py
natlog/__main__.py
natlog/db.py
natlog/natlog.py
natlog/ndb.py
natlog/neural_natlog.py
natlog/parser.py
natlog/prolog_parser.py
natlog/scanner.py
natlog/tdb.py
natlog/textual_natlog.py
natlog/tools.py
natlog/unify.py
natlog.egg-info/PKG-INFO
natlog.egg-info/SOURCES.txt
natlog.egg-info/dependency_links.txt
natlog.egg-info/not-zip-safe
natlog.egg-info/top_level.txt
natlog/app/__init__.py
natlog/app/natapp.py
natlog/natprogs/arith.nat
natlog/natprogs/dall_e.nat
natlog/natprogs/db.json
natlog/natprogs/db.nat
natlog/natprogs/db.tsv
natlog/natprogs/dbtc.nat
natlog/natprogs/elements.nat
natlog/natprogs/elements.tsv
natlog/natprogs/emu.nat
natlog/natprogs/facts.nat
natlog/natprogs/family.nat
natlog/natprogs/gcol.nat
natlog/natprogs/gram.nat
natlog/natprogs/interclausal.nat
natlog/natprogs/lib.nat
natlog/natprogs/lib_tests.nat
natlog/natprogs/loop.nat
natlog/natprogs/meta.nat
natlog/natprogs/nrev.nat
natlog/natprogs/perm.nat
natlog/natprogs/pets.nat
natlog/natprogs/pro.nat
natlog/natprogs/pro2nat.pro
natlog/natprogs/py_call.nat
natlog/natprogs/py_call1.nat
natlog/natprogs/queens.nat
natlog/natprogs/queens.pro
natlog/natprogs/story.nat
natlog/natprogs/sudoku4.nat
natlog/natprogs/tc.nat
natlog/test/__init__.py
natlog/test/benchmark.py
natlog/test/tests.py
run/__init__.py
run/bm.py
run/tests.py