../../Task/Boolean-values/Prolog