prologInquireBoolHtml :: CCState ->  Term -> CCContentTypeM App
prologInquireBoolHtml st t node = do
  (formWidget, enctype) <- lift $ generateCCFormGet (prologInquireBoolForm t)
  CCContentHtml <$> (lift $ defaultLayout $ prologInquireBoolWidget st node formWidget enctype)
prologInquireBoolHtml :: CCState ->  Term -> CCContentTypeM App
prologInquireBoolHtml st t node = do
  (formWidget, enctype) <- lift $ generateCCFormGet (prologInquireBoolForm t)
  CCContentHtml <$> (lift $ defaultLayout $ prologInquireBoolWidget st node formWidget enctype)
prologInquireBoolHtml st t node = do
  (formWidget, enctype) <- lift $ generateCCFormGet (prologInquireBoolForm t)
  CCContentHtml <$> (lift $ defaultLayout $ prologInquireBoolWidget st node formWidget enctype)