CSCI3230-prolog