Prolog examples Please turn javascript on. pro.semantics also see Logic Prolog Some example Prolog programs to exercise Prolog semantics append.pro diff.pro royal.pro – for input to Prolog semantics.