% From The Art of EyeProlog, Chapter 26 — Proof objects and proof checking.
:- use_module(library(lists)).

triple(3, 4, 5).