There are some examples in this tutorial PDF:
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/fe...