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