ΛProlog: Logic programming in higher-order logic

https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/

#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

Inside every build system is an ad-hoc, informally-specified, bug-ridden, slow implementation of λProlog

#buildSystem #msbuild #make #cmake #lisp #prolog #λProlog