prologInquireBoolForm :: Term -> Html
                         -> MForm Handler (FormResult PrologInquireBoolForm, Widget)
prologInquireBoolForm t = renderDivs $ PrologInquireBoolForm
                          <$> areq boolField (fromString $ showU t) Nothing
prologInquireBoolForm :: Term -> Html
                         -> MForm Handler (FormResult PrologInquireBoolForm, Widget)
prologInquireBoolForm t = renderDivs $ PrologInquireBoolForm
                          <$> areq boolField (fromString $ showU t) Nothing
prologInquireBoolForm t = renderDivs $ PrologInquireBoolForm
                          <$> areq boolField (fromString $ showU t) Nothing