de50b2a4eea0aa88d8147b26a7b1ce2d14e08700
[ker1415-1.git] / report / report.tex
1 \documentclass[titlepage,a4paper]{article}
2
3 \usepackage{fullpage}
4 \usepackage{floatrow}
5 \usepackage{lipsum}
6 \usepackage{enumerate}
7 \usepackage{amsmath}
8 \usepackage{amssymb}
9 \usepackage{minted}
10
11 \author{ Caspar Safarlou\and Mart Lubbers }
12 \title{Knowledge Representation and Reasoning.\\Assignment 1}
13 \date{\today}
14
15 \everymath{\displaystyle}
16 \floatsetup[listing]{style=Plaintop}
17
18 \definecolor{mintedbackground}{rgb}{0.95,0.95,0.95}
19 \newmintedfile[prologcode]{prolog}{
20 bgcolor=mintedbackground,
21 fontfamily=tt,
22 fontsize=\scriptsize,
23 frame=leftline,
24 framerule=0.4pt,
25 framesep=2mm,
26 funcnamehighlighting=true,
27 gobble=0,
28 linenos=true,
29 mathescape=false
30 numberblanklines=true,
31 numbersep=10pt,
32 numbersep=5pt,
33 obeytabs=false,
34 showspaces=false,
35 showtabs =false,
36 tabsize=4,
37 texcl=false,
38 }
39
40 \begin{document}
41 \maketitle
42 \tableofcontents
43 \newpage
44
45 \section{Assignment 1-1}
46 \input{ass1.tex}
47
48 \section{Assignment 1-2}
49 \input{ass2.tex}
50
51 \section{Appendix}
52
53 \end{document}