Hacker News new | ask | show | jobs
by cess11 116 days ago
There are some examples in this tutorial PDF:

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