ΛProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/
#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews
theruran 💻 🌐 :cereal_killer:
and 1 other
boosted
𝗣𝗿𝗼𝗹𝗼𝗴 𝗯𝘆 𝗘𝘅𝗮𝗺𝗽𝗹𝗲
A short course developed specifically for anyone who struggled with the traditional university courses and textbooks.
The focus is on concepts, and building confidence through short hands-on examples and exercises.
I actually had a lot of fun writing it myself ! 😄
𝗣𝗿𝗼𝗹𝗼𝗴 𝗯𝘆 𝗘𝘅𝗮𝗺𝗽𝗹𝗲
A short course developed specifically for anyone who struggled with the traditional university courses and textbooks.
The focus is on concepts, and building confidence through short hands-on examples and exercises.
I actually had a lot of fun writing it myself ! 😄