bin/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
bin/bm.py,sha256=G8sqdYtldQGnGNfdnK5iH5ultYiDsReBwqby8YlZ_pk,78
bin/tests.py,sha256=mKad-DbuOcLHR7LbkT-t6UbkO-BXav90F8pJOrAiugc,74
natlog/__init__.py,sha256=ciLdCJR6AmnHxHu8YkVP0gGI6vkjxcTOalv4y-fJ1yc,93
natlog/db.py,sha256=pXeDskBUfjB_YO8NolY1_7X84ZSpK5vLO3joJdGCKkE,6488
natlog/natlog.py,sha256=EBdp6KhwbonDF2U3Pt9LAzaAi93Q75D3UyZ09X-UG2A,12213
natlog/ndb.py,sha256=IssKLDId7EyueU928hZyRKKtJ8J47v9IMo0FQIpVNDc,3066
natlog/neural_natlog.py,sha256=JYvoGs4_XLOoyMdgG70RIYOLMGS9ekvo9jzfEQ8eB5s,446
natlog/parser.py,sha256=necxyMWbgcMF0YRtxmFa8wgtIS9DrVnRlIMZ9VaIpkA,6473
natlog/scanner.py,sha256=yrukTvXbTuiwvqSLZgBAOuyyDc5H0w5gPmx8OuiKTrg,4149
natlog/tdb.py,sha256=iHCA3iaJpybk2uWeRhMIFbISQm0s0-7wfK8z_NYU3Hs,1488
natlog/textual_natlog.py,sha256=nT6LDpLSRxoW2GczotPnlWt4609BtFHjP9V0W6ZcXw4,451
natlog/tools.py,sha256=2dCsGfQIYqX5BF0CUm-mSU-ji1odSTMQaG54iJ9ZXA8,1036
natlog/unify.py,sha256=kXkdFjaFbLUZ1FIFQyXepzi_IZUW2U9qfgtEjH0y--U,3495
natlog/app/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natlog/app/natapp.py,sha256=nnXB1u6HIX6nHf1A8agmChRhfBCjMnCCKR6wcKyB-UA,1832
natlog/doc/natlog.pdf,sha256=f68G3GSTptqLqMlhEBQsCJ0ka5konT6K9aGNktpQiQI,194176
natlog/doc/natlog_deep.pdf,sha256=oBqc02XInfeO1vXWK2LzUPIWhg8zYfvfjCeUhmE0Law,1830829
natlog/doc/natlog_gpt.pdf,sha256=8-3AcbsJviLDSfrseDBZ_3RJXpVXCyJZLBOa2dyYsmg,12802445
natlog/doc/prolog50.pdf,sha256=QmR0bndoiGXEMoc6M8OJEhrto_D5AHhGexbpy8DbbUo,1785976
natlog/doc/slides_ICLP21.pdf,sha256=4FJxrR-F6etlqQgHt6JQjb_AoJc5B7OzvWjNbi-d72U,190462
natlog/doc/slides_LPOP22.pdf,sha256=kNymn5TfifNSNrt90PsQ7G5Rg85hIDAKw19uZpC4ubQ,3757890
natlog/natprogs/arith.nat,sha256=NJd-z2k1p_s9cgtSQw1odMumC1DQVcdJDdb4H8hPQys,196
natlog/natprogs/dall_e.nat,sha256=CNoUaBtKkbyM8mAWtxX2XqzWp5dlqlq5jSt99JAdGKk,350
natlog/natprogs/db.json,sha256=CzH3R0CWMUl4e-rP36RgPN6dlmJkP_CUvUD3QrJq7MY,273
natlog/natprogs/db.nat,sha256=0-1bN9Jxz5QIVTAAC0yWbBNb90CwKKTR5FADNDqz9UY,173
natlog/natprogs/db.tsv,sha256=7eDWNEvGvqZO_7jwRe19qbi9Fm1PiGjTwlwj4kW285Q,241
natlog/natprogs/dbtc.nat,sha256=RLduz2rx1pog5NyQeFLOeNn4V3nbPdM02iUfKIFLy4g,117
natlog/natprogs/elements.nat,sha256=7lxEu6TgxX1YVTXq0eahLcVAV69Rr5OgAICt4rb5Tv8,278
natlog/natprogs/elements.tsv,sha256=jB9sObxz0YbJm0p8c_D6HwM0EKPgL6rRQqb2V9KfTGU,3733
natlog/natprogs/emu.nat,sha256=vWgC6_Tac699M975WDL8HB7DwxCRLVUrbLeU5ZmFxkk,693
natlog/natprogs/facts.nat,sha256=GwIAvrIVGfhTpWvWp5Lkcw2v4OCE58tM2Nn93GgIzGQ,147682
natlog/natprogs/family.nat,sha256=l75WHjAheaAAyryuCkcm7NliUMtTrpwpU8t9YOW8VpU,1007
natlog/natprogs/gcol.nat,sha256=KtDp5F1rHGRcQlOuwEMSqa5VTkgpmaJwFRxZ6-GH28A,468
natlog/natprogs/gram.nat,sha256=UNfM2G64WropvUkxCtnobdQ9hoFSUzFwoBT58MrxMgY,237
natlog/natprogs/interclausal.nat,sha256=6tBBnkWGuZqTu6NgQTNa6E3300NfJef_lOO0irDHaSY,54
natlog/natprogs/lib.nat,sha256=dSALqnyGOtGVGet4K8IoJf34lPFo6CKDbHIfNCScE0Y,3815
natlog/natprogs/lib_tests.nat,sha256=B5D-kQmV59JzMEo3vkns7E7HPJmjtfRgUEbUJD9PyZA,1402
natlog/natprogs/loop.nat,sha256=-uIlTi4vW55Kk3S9uOF2jvoL4NSCXyn3j_Kw1TdapdA,36
natlog/natprogs/meta.nat,sha256=PGnS3YJwBysS1CxyMSLmZs6yKMBayh6U-OMVAO_hf0U,599
natlog/natprogs/nrev.nat,sha256=Ml5G5SJFDxAI-iIVE8JCJ_C2YXk4HISFYzaQ6Qbz6SQ,147
natlog/natprogs/perm.nat,sha256=kGwF2ei6IXPr8Z2lIhz4S232x1T69u3uzXJljkdh_8c,142
natlog/natprogs/pro.nat,sha256=HLro3PuvhoPugitQSYwYqhtcuP0QT51JlIQpDFcM4tc,396
natlog/natprogs/pro2nat.pro,sha256=r3_yH7WJ1LvVvbPxzVxKiO6tGuWPlFnqHC7IuPH1cF4,1611
natlog/natprogs/py_call.nat,sha256=OYLCVj9l3fisci9JcKHDr9xwr6ELCMxA-xHeF5yVLD4,277
natlog/natprogs/py_call1.nat,sha256=743RWz25Hu5sRDhuEzuQwaP3_DIT8IDNC0glFANdp8I,34
natlog/natprogs/queens.nat,sha256=e1NqYFpIk8kHMaSYRc1EORsi5HwwbFoRpD2nVNfM7Gc,680
natlog/natprogs/queens.pro,sha256=349MVhC_1XBa15pR5B61ZVUvQHgw9VN0rb0KpqDuzu8,380
natlog/natprogs/story.nat,sha256=tVmKR6HbeYO0jVA5wvrLXJ8HIT1uamQyoOEmNE31HIY,77
natlog/natprogs/sudoku4.nat,sha256=XwtqRnf1ITnBvuywZspTrFCYhEj9fq5IOK6hZJLeyoo,826
natlog/natprogs/tc.nat,sha256=gFwZp5CZi-SaOdjMbPsk-W1fnGw30hOfzLzz6aPy0fA,247
natlog/test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natlog/test/benchmark.py,sha256=lPCBFDqKE6qQUcBwAHDdhvaGbofbbDn6tCovNGhHc3U,1799
natlog/test/tests.py,sha256=BH3ZfHqnmK_lTyKBJpUHRXzrEz7yK0W_jcCuuewjaOw,7973
natlog-1.7.2.dist-info/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
natlog-1.7.2.dist-info/METADATA,sha256=HhIrdbZnVnFak-VS3O0_OEA97jyPEn3QH6Y6QOvNdmo,7248
natlog-1.7.2.dist-info/WHEEL,sha256=pkctZYzUS4AYVn6dJ-7367OJZivF2e8RA9b_ZBjif18,92
natlog-1.7.2.dist-info/top_level.txt,sha256=hupmIHN9wBlqG8kjAOPRRBOfyLo3bQvhdnBdEmY_LOo,11
natlog-1.7.2.dist-info/RECORD,,
