Examples in Prolog