Post · bonfire.cafe

Post

Log in

@h4ckernews@mastodon.social · 4 days ago

ΛProlog: Logic programming in higher-order logic

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

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

https://mastodon.social/tags/%CE%9BProlog

λProlog Home Page

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.2-alpha.34 no JS en

Automatic federation enabled

Log in