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