6324f254d00ff0011b52adebe048cb9d73831148
[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 linenos=true,
23 numberblanklines=true,
24 numbersep=10pt,
25 numbersep=5pt,
26 gobble=0,
27 frame=leftline,
28 framerule=0.4pt,
29 framesep=2mm,
30 funcnamehighlighting=true,
31 tabsize=4,
32 obeytabs=false,
33 mathescape=false
34 showspaces=false,
35 showtabs =false,
36 texcl=false,
37 }
38
39 \begin{document}
40 \maketitle
41 \tableofcontents
42 \newpage
43
44 \section{Assignment 1-1}
45 \input{ass1.tex}
46
47 \section{Assignment 1-2}
48 \input{ass2.tex}
49
50 \section{Appendix}
51
52 \end{document}