├── .gitignore ├── LICENSE ├── README.md ├── bin └── hatlog ├── examples ├── fib.py ├── fib.py.pl ├── join.py ├── join.py.pl ├── map.py └── map.py.pl ├── hatlog ├── __init__.py ├── env.py ├── flattener.py └── prolog.py ├── prettyTypes.pl └── pythonTypeSystem.pl /.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__ 2 | *txt 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/README.md -------------------------------------------------------------------------------- /bin/hatlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/bin/hatlog -------------------------------------------------------------------------------- /examples/fib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/examples/fib.py -------------------------------------------------------------------------------- /examples/fib.py.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/examples/fib.py.pl -------------------------------------------------------------------------------- /examples/join.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/examples/join.py -------------------------------------------------------------------------------- /examples/join.py.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/examples/join.py.pl -------------------------------------------------------------------------------- /examples/map.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/examples/map.py -------------------------------------------------------------------------------- /examples/map.py.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/examples/map.py.pl -------------------------------------------------------------------------------- /hatlog/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/hatlog/__init__.py -------------------------------------------------------------------------------- /hatlog/env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/hatlog/env.py -------------------------------------------------------------------------------- /hatlog/flattener.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/hatlog/flattener.py -------------------------------------------------------------------------------- /hatlog/prolog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/hatlog/prolog.py -------------------------------------------------------------------------------- /prettyTypes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/prettyTypes.pl -------------------------------------------------------------------------------- /pythonTypeSystem.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alehander92/hatlog/HEAD/pythonTypeSystem.pl --------------------------------------------------------------------------------