inquirePrologBool :: CCState -> Term -> CCPrologHandler CCState
inquirePrologBool  st t = do
  let title = T.pack $ showU t
  inquireGetUntil st title (prologInquireBoolHtml st t) (prologInquireBoolForm t)
inquirePrologBool :: CCState -> Term -> CCPrologHandler CCState
inquirePrologBool  st t = do
  let title = T.pack $ showU t
  inquireGetUntil st title (prologInquireBoolHtml st t) (prologInquireBoolForm t)
inquirePrologBool  st t = do
  let title = T.pack $ showU t
  inquireGetUntil st title (prologInquireBoolHtml st t) (prologInquireBoolForm t)