diff --git a/include/anthem/Body.h b/include/anthem/Body.h
index b0e61d1..63eb17b 100644
--- a/include/anthem/Body.h
+++ b/include/anthem/Body.h
@@ -45,7 +45,7 @@ struct TermPrintVisitor
 	}
 
 	// TODO: check correctness
-	void visit(const Clingo::AST::Function &function, const Clingo::AST::Literal &literal, const Clingo::AST::Term &term, Context &context)
+	void visit(const Clingo::AST::Function &function, const Clingo::AST::Literal &literal, const Clingo::AST::Term &, Context &context)
 	{
 		if (literal.sign == Clingo::AST::Sign::DoubleNegation)
 			throwErrorAtLocation(literal.location, "double-negated literals currently unsupported", context);
diff --git a/include/anthem/Head.h b/include/anthem/Head.h
index 89c296b..44ea73d 100644
--- a/include/anthem/Head.h
+++ b/include/anthem/Head.h
@@ -18,7 +18,7 @@ namespace anthem
 
 struct TermCollectFunctionTermsVisitor
 {
-	void visit(const Clingo::Symbol &symbol, const Clingo::AST::Term &term, Context &context)
+	void visit(const Clingo::Symbol &, const Clingo::AST::Term &term, Context &context)
 	{
 		throwErrorAtLocation(term.location, "“symbol” terms not allowed, function expected", context);
 	}
@@ -64,7 +64,7 @@ struct TermCollectFunctionTermsVisitor
 
 struct LiteralCollectFunctionTermsVisitor
 {
-	void visit(const Clingo::AST::Boolean &, const Clingo::AST::Literal &, Context &context)
+	void visit(const Clingo::AST::Boolean &, const Clingo::AST::Literal &, Context &)
 	{
 	}
 
@@ -124,7 +124,7 @@ struct HeadLiteralCollectFunctionTermsVisitor
 
 struct TermPrintSubstitutedVisitor
 {
-	void visit(const Clingo::Symbol &symbol, const Clingo::AST::Term &term, Context &context)
+	void visit(const Clingo::Symbol &, const Clingo::AST::Term &term, Context &context)
 	{
 		throwErrorAtLocation(term.location, "“symbol” terms not allowed, function expected", context);
 	}
diff --git a/src/anthem/Translation.cpp b/src/anthem/Translation.cpp
index 0bd870a..f9d55fd 100644
--- a/src/anthem/Translation.cpp
+++ b/src/anthem/Translation.cpp
@@ -44,7 +44,7 @@ void translate(const char *fileName, std::istream &stream, Context &context)
 		};
 
 	const auto logger =
-		[&context](const Clingo::WarningCode warningCode, const char *text)
+		[&context](const Clingo::WarningCode, const char *text)
 		{
 			context.logger.log(output::Priority::Error, text);
 		};
diff --git a/tests/TestTranslation.cpp b/tests/TestTranslation.cpp
index 99fd2df..9cfcdfa 100644
--- a/tests/TestTranslation.cpp
+++ b/tests/TestTranslation.cpp
@@ -14,7 +14,7 @@ TEST_CASE("[translation] Rules are translated correctly", "[translation]")
 	std::stringstream errors;
 
 	anthem::output::Logger logger(output, errors);
-	anthem::Context context = {logger};
+	anthem::Context context = {logger, {}, 1};
 
 	SECTION("simple example 1")
 	{