Write a few historical slides on 2P as a project

[gciatto]

Provide references to main 2P-related publications

Main historical steps IMWO:

1. AO feels the need for micro-intelligence and envisions lightweight logic solvers running on most devices
2. AO / ED / AR propose tuProlog, a lightweight Prolog solver written in Java
3. W.r.t. the state of the art 2P is interesting as it is OOP-interoperable, and SM-based (ref. to Piancastelli)
4. 2P is used as the technological basis of many relevant logic-based contributions from our group:
   • TuCSoN / ReSpecT
   • LPaaS
   • MoK?
   • TuSoW
   • ???
5. The project accumulates legacy code, making it Prolog-constrained and hard to mantain
6. Siboni and Ciatto propose a complete re-design and re-write as Kotlin MPP
   • Widening the scope to whole LP rather than Prolog alone

[robertacalegari]

done