Exercises on Knowledge Representation in 2P-Kt

Useful resources

• Lecture Slides: https://github.com/pikalab-unibo/ise-code-knowledge-representation
• 2P-Kt Documentation: https://github.com/tuProlog/2p-kt-presentation/
• Kotlin Documentation:
  • Sequences: https://kotlinlang.org/docs/sequences.html

Order of exercises

1. Exercise 1 in ./exercise-1 is about terms
   • 101 for terms' creation and usage in 2P-Kt
2. Exercise 2 in ./exercise-2 is about the Herbrand universe
   • advanced
3. Exercise 3 in ./exercise-3 is about Horn clauses
   • 101 for clauses' creation and usage in 2P-Kt
4. Exercise 4 in ./exercise-4 is about the manipulation of both terms and clauses
   • optional
5. Exercise 5 in ./exercise-5 is about the manipulation of logic theories
   • optional

Workflow

0. Listen to the teacher's explanation
1. Look for specific TODOs in the source code of each exercise
2. Inspect and understand the provided unit tests
   • each single line has a meaning: ask for help if a line/test/suite is unclear
3. Address the TODO and run the tests
4. When all tests pass, the exercise is done