chore: describe up to 2p-kt

figures/term-hierarchy

@@ -0,0 +1,63 @@
+@startuml
+skinparam shadowing false
+
+interface Term
+interface Constant
+interface Var
+interface Struct
+interface Numeric
+interface Integer
+interface Real
+interface Atom
+interface Truth
+interface Indicator
+interface Recursive
+interface Empty
+interface EmptyBlock
+interface EmptyList
+interface List
+interface Cons
+interface Block
+interface Tuple
+
+Term <|-down- Struct
+Term <|-down- Constant
+Term <|-down- Var
+
+Constant <|-down- Numeric
+Constant <|-down- Atom
+
+Numeric <|-down- Real
+Numeric <|-down- Integer
+
+Struct <|-down- Atom
+Struct <|-down- Recursive
+Struct <|-down- Indicator
+
+Recursive <|-down- List
+Recursive <|-down- Tuple
+Recursive <|-down- Block
+
+Atom <|-down- Truth
+Atom <|-down- Empty
+
+Empty <|-up- EmptyList
+Empty <|-up- EmptyBlock
+
+List <|-down- EmptyList
+List <|-down- Cons
+Block <|-down- EmptyBlock
+
+package clauses <<Rectangle>> {
+
+    interface Clause
+    interface Rule
+    interface Directive
+    interface Fact
+    Struct <|-down- Clause
+    Clause <|-down- Rule
+    Clause <|-down- Directive
+    Rule <|-down- Fact
+
+}
+@enduml

ise-lab-knowledge-representation.bib

@@ -4,4 +4,55 @@ @misc{enwiki:cons
 	year = "2021",
 	url = "https://en.wikipedia.org/wiki/Cons",
 	note = "[Online; accessed 11-March-2022]"
-}
+}
+
+@misc{Ciatto20212pktPresentation,
+    author = "Ciatto, Giovanni",
+    title = "\twopkt{}: A Kotlin Multi-Platform ecosystem for Symbolic AI",
+    year = "2021",
+    url = "https://github.com/tuProlog/2p-kt-presentation/releases/latest",
+    note = "[Online; accessed 11-March-2022]"
+}
+
+@Inbook{Lachiche2010,
+    author="Lachiche, Nicolas",
+    editor="Sammut, Claude
+    and Webb, Geoffrey I.",
+    title="Propositionalization",
+    bookTitle="Encyclopedia of Machine Learning",
+    year="2010",
+    publisher="Springer US",
+    address="Boston, MA",
+    pages="812--817",
+    isbn="978-0-387-30164-8",
+    doi="10.1007/978-0-387-30164-8\_680",
+    url="https://doi.org/10.1007/978-0-387-30164-8_680"
+}
+
+ @inproceedings{dcc-aixia-2021-plp,
+    keywords = {probabilistic logic programming, symbolic AI, 2P-Kt},
+    year = 2021,
+    articleNo = 3,
+    pages = {19-32},
+    author = {Dellaluce, Jason and Calegari, Roberta and Ciatto, Giovanni},
+    sort = {inproceedings},
+    numpages = 14,
+    volume = 3078,
+    issn = {1613-0073},
+    month = {dec},
+    publisher = {Sun SITE Central Europe, RWTH Aachen University},
+    status = {Published},
+    title = {Probabilistic logic programming in 2P-Kt},
+    booktitle = {AIxIA 2021 Discussion Papers},
+    editor = {Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
+    url = {http://ceur-ws.org/Vol-3078/paper-29.pdf},
+    series = {CEUR Workshop Proceedings},
+    subseries = {AI*IA Series}}
+
+@misc{uci:iris,
+    author = "{UCI}, Machine Learning Repository",
+    title = "Iris Dataset",
+    year = "1950",
+    url = "https://archive.ics.uci.edu/ml/datasets/iris",
+    note = "[Online; accessed 11-March-2022]"
+}

ise-lab-knowledge-representation.sty

@@ -29,7 +29,7 @@
 \newcommand{\mgu}[2]{\text{mgu}(#1, #2)}
 \newcommand{\functor}[1]{\mathtt{#1}}
 \newcommand{\variable}[1]{\mathit{#1}}
-\newcommand{\predication}[1]{\mathit{#1}}
+\newcommand{\predication}[1]{\text{\textit{#1}}}
 \newcommand{\consdot}{\functor{~.~}}
 \newcommand{\fullstop}{\mathtt{.}}
 
@@ -44,3 +44,4 @@
 \newcommand{\optional}[1]{\grammar{(#1)}\questionmark}
 
 \newcommand{\twopkt}{\textsc{2P-Kt}}
+