Login
Proof Theory and Logic Programming
(lix.polytechnique.fr) by remywang | view | 0 comments
Zelph is a logic programming system, but not in the traditional sense
(acrion.github.io) by ta988 | view | 0 comments
ΛProlog: Logic programming in higher-order logic
(lix.polytechnique.fr) by ux266478 | view | 0 comments
NASA Study: Non-Biologic Processes Don't Explain Mars Organics
(science.nasa.gov) by MrBuddyCasino | view | 0 comments
NASA Study: Non-Biologic Processes Don't Explain Mars Organics
(science.nasa.gov) by bediger4000 | view | 1 comments
Show HN: DeepClause CLI – Compile Markdown specs into executable logic programs
(github.com) by schmuhblaster | view | 1 comments