PROLOG Sample Codes