This kernel currently supports using ECLiPSe, GNU Prolog, LVM, SICStus Prolog, SWI-Prolog, Trealla Prolog, or YAP as the backend compiler. Support for some more backends is expected soon.
Example notebooks are included in the repo and can be previewed using nbviewer: