User:Felix QW/Logic programming
Appearance
Current plans for logic programming articles
- Assess unassessed articles
- Write Probabilistic logic programming
- Improve Concurrent logic programming and merge what is salvageable from Indeterminacy in concurrent computation.
- Add more content on stratified Datalog to Datalog
- Integrate information and diagrams from Fifty years of Prolog paper.