diff --git a/src/Propa/Prolog/Parse.hs b/src/Propa/Prolog/Parse.hs
index f26a2ac..3a239ef 100644
--- a/src/Propa/Prolog/Parse.hs
+++ b/src/Propa/Prolog/Parse.hs
@@ -72,7 +72,7 @@ pDefs = many pDef
 parseHelper :: Parser a -> FilePath -> T.Text -> Either T.Text a
 parseHelper p path input
   = first (T.pack . errorBundlePretty)
-  $ parse (space *> p) path input
+  $ parse (space *> p <* eof) path input
 
 parseTerms :: FilePath -> T.Text -> Either T.Text [Term T.Text]
 parseTerms = parseHelper pTerms