diff --git a/src/fundamentals-of-ai-and-kr/module2/sections/_logic.tex b/src/fundamentals-of-ai-and-kr/module2/sections/_logic.tex
index 4384b36..97cdae0 100644
--- a/src/fundamentals-of-ai-and-kr/module2/sections/_logic.tex
+++ b/src/fundamentals-of-ai-and-kr/module2/sections/_logic.tex
@@ -1,3 +1,11 @@
-\chapter{Propositional and first order logic}
+\lohead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/languages-and-algorithms-for-ai/module2}{\texttt{\color{gray}Languages and Algorithms for AI (module 2)}}}
+\lehead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/languages-and-algorithms-for-ai/module2}{\texttt{\color{gray}Languages and Algorithms for AI (module 2)}}}
 
-See \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/languages-and-algorithms-for-ai/module2}{\texttt{Languages and Algorithms for AI (module 2)}}.
\ No newline at end of file
+\graphicspath{{../../languages-and-algorithms-for-ai/module2/}}
+\input{../../languages-and-algorithms-for-ai/module2/sections/_propositional_logic.tex}
+\input{../../languages-and-algorithms-for-ai/module2/sections/_first_order_logic.tex}
+\graphicspath{}
+
+\newpage
+\lohead{}
+\lehead{}
\ No newline at end of file
diff --git a/src/languages-and-algorithms-for-ai/module2/sections/_prolog.tex b/src/languages-and-algorithms-for-ai/module2/sections/_prolog.tex
index 9b9b7d3..9d1dcf4 100644
--- a/src/languages-and-algorithms-for-ai/module2/sections/_prolog.tex
+++ b/src/languages-and-algorithms-for-ai/module2/sections/_prolog.tex
@@ -1,3 +1,10 @@
-\chapter{Prolog}
+\lohead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/fundamentals-of-ai-and-kr/module2}{\texttt{\color{gray}Fundamentals of AI and KR (module 2)}}}
+\lehead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/fundamentals-of-ai-and-kr/module2}{\texttt{\color{gray}Fundamentals of AI and KR (module 2)}}}
 
-See \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/fundamentals-of-ai-and-kr/module2}{\texttt{Fundamentals of AI and KR (module 2)}}.
\ No newline at end of file
+\graphicspath{{../../fundamentals-of-ai-and-kr/module2/}}
+\input{../../fundamentals-of-ai-and-kr/module2/sections/_prolog.tex}
+\graphicspath{}
+
+\newpage
+\lohead{}
+\lehead{}
\ No newline at end of file