hatlog

custom type systems for python in prolog: http://alehander42.me/prolog_type_systems (by andychu)

Hatlog Alternatives

Similar projects and alternatives to hatlog

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better hatlog alternative or higher similarity.

hatlog reviews and mentions

Posts with mentions or reviews of hatlog. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-05.
  • Why Learn Prolog in 2021?
    8 projects | news.ycombinator.com | 5 Jan 2021
    A couple years ago I hacked on a Python type inferencer someone 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 missing something, but there also seemed to be a lot of deficiencies.

    In fact I think I learned the opposite lesson. I have to dig up the HN post, but I think the point was "Prolog is NOT logic". It's not programming and it's not math.

    (Someone said the same thing about Project Euler and so forth, and I really liked that criticism. https://lobste.rs/s/bqnhbo/book_review_elements_programming )

Stats

Basic hatlog repo stats
1
1
0.0
over 5 years ago

andychu/hatlog is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of hatlog is Python.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com