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