1 \documentclass[titlepage,
a4paper]{article
}
12 \author{Mart Lubbers
\and \small Caspar Safarlou
}
13 \title{Knowledge Representation and Reasoning.\
\Assignment 1}
16 \everymath{\displaystyle}
17 \floatsetup[listing
]{style=Plaintop
}
19 \definecolor{mintedbackground
}{rgb
}{0.95,
0.95,
0.95}
20 \newmintedfile[prologcode
]{prolog
}{
21 bgcolor=mintedbackground,
27 funcnamehighlighting=true,
31 numberblanklines=true,
45 \section{Assignment
1-
1}
48 \section{Assignment
1-
2}