added prolog facts