Logic-languages