The following is information about PROLOG