Add some Prolog examples