LICENSE
MANIFEST.in
README.md
setup.py
./bak/minlog10.py
./bak/minlog11.py
./bak/minlog12.py
./bak/minlog13.py
./bak/minlog14.py
./bak/minlog15.py
./bak/minlog16.py
./bak/minlog17ok.py
./bak/minlog18.py
./bak/minlog19.py
./bak/minlog2.py
./bak/minlog20.py
./bak/minlog3.py
./bak/minlog4.py
./bak/minlog5.py
./bak/minlog6.py
./bak/minlog8.py
./bin/__init__.py
./bin/bm.py
./bin/tests.py
./natlog/doc/natlog.pdf
./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/gram.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/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/sudoku4.nat
./natlog/natprogs/tc.nat
./natlog/test/__init__.py
./natlog/test/benchmark.py
./natlog/test/tests.py
bin/__init__.py
bin/bm.py
bin/tests.py
natlog/__init__.py
natlog/db.py
natlog/natlog.py
natlog/ndb.py
natlog/neural_natlog.py
natlog/parser.py
natlog/scanner.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/doc/natlog.pdf
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/gram.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/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/sudoku4.nat
natlog/natprogs/tc.nat
natlog/test/__init__.py
natlog/test/benchmark.py
natlog/test/tests.py