Hacker GitHub

← All repos

andychu/hatlog

View on GitHub ↗ ★ 1 Python

custom type systems for python in prolog: http://alehander42.me/prolog_type_systems

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2018-11-06 · latest 2021-01-06

Mentions per year 3 mentions · busiest year 2018 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …wrote in Prolog. I wasn't enlightened, despite expecting to be, from a bunch of HN posts like this. https://github.com/andychu/hatlog For example, can someone add good error messages to this? It didn't really seem practical. I'm sure I am…
    comment by chubot · 2021-01-06 · in Why Learn Prolog in 2021?
  2. …interesting in that regard. I also hacked on this Python type inferencer in Prolog awhile ago: https://github.com/andychu/hatlog I did get hung up on writing simple pure functions in Prolog. There seems to be a debate over whether…
    comment by chubot · 2020-08-09 · in Formulog: ML + Datalog + SMT
  3. I spent the day hacking on this toy Python type inferencer in Prolog: https://github.com/andychu/hatlog/tree/master It gave me at least a start of an understanding of Prolog. I watched the Strange Loop talk linked in the README there too.…
    comment by chubot · 2018-11-06 · in Prolog Under the Hood: An Honest Look (1992)