Ask HN: Best resources on implementing constraint logic programming?

Ask HN: Best resources on implementing constraint logic programming?

2 by LunaSea | 0 comments on Hacker News.

Hello HN, I'like to implement my own little custom constraint logic programming language. Features like declarative integer arithmetic as implemented by Prolog's CLP(FD) module are especially interesting to me. Would anyone advise books or other types of resources that would help implementing a project like this? I've seen some resource about SAT solvers but couldn't find much on the actual implementation of a constraint logic programming language or library. Anything regarding logical purity and SAT solvers if also appreciated. Thanks in advance



Comments

Post a Comment

Popular posts from this blog

Intentional dark pattern by Coinbase or just terrible UI?

Intentional dark pattern by Coinbase or just terrible UI? 2 by jjeaff | 0 comments on Hacker News. I recently needed to check a past transfer to confirm that I was sending some crypto to the same wallet address. In the past, the last few transactions showed up on the "Pay" page. They have since renamed "Pay" to Transfers or something like that. They no longer show past transactions, so I went down a rabbit hole of searching through the app, couldn't find it, then had to google it and found a help page for Coinbase. There is a link in the article to coinbase.com/reports (I can find no way to get to it from the web app except by following the link from the help article.) Once there, you can select the date ranges you want and generate a transaction report in PDF or CSV and then you have to wait a bit while it generates the report for you to download. What kind of UI craziness is this? A user's transaction history is such a basic feature, I can't imagine c...
Read more