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 \usepackage[hidelinks]{hyperref}
  11 \usepackage{tikz}
  12
  13 \author{Mart Lubbers\and Caspar Safarlou}
  14 \title{Knowledge Representation and Reasoning.\\Assignment 1}
  15 \date{\today}
  16
  17 \usetikzlibrary{trees}
  18 \tikzstyle{level 1}=[level distance=1cm, sibling distance=1cm]
  19 \tikzstyle{level 2}=[level distance=1cm, sibling distance=1cm]
  20 \tikzstyle{bag} = [text width=4em, text centered]
  21 \tikzstyle{end} = [minimum width=3pt, inner sep=0pt]
  22
  23 \everymath{\displaystyle}
  24 \floatsetup[listing]{style=Plaintop}
  25
  26 \definecolor{mintedbackground}{rgb}{0.95,0.95,0.95}
  27 \newmintedfile[prologcode]{prolog}{
  28         bgcolor=mintedbackground,
  29         fontfamily=tt,
  30         fontsize=\scriptsize,
  31         frame=leftline,
  32         framerule=0.4pt,
  33         framesep=2mm,
  34         funcnamehighlighting=true,
  35         gobble=0,
  36         linenos=true,
  37         mathescape=false
  38         numberblanklines=true,
  39         numbersep=10pt,
  40         numbersep=5pt,
  41         obeytabs=false,
  42         showspaces=false,
  43         showtabs =false,
  44         tabsize=4,
  45         texcl=false,
  46 }
  47
  48 \begin{document}
  49 \maketitle
  50 \tableofcontents
  51
  52 \section{Assignment 1-1}
  53 \input{ass1.tex}
  54
  55 \section{Assignment 1-2}
  56 \input{ass2.tex}
  57
  58 \end{document}