Current plans for logic programming articles edit
Currently, the focus is on the "X logic programming" articles.
Probabilistic logic programming edit
- Write Probabilistic logic programming using the PILP paper as a first resource.
Concurrent logic programming edit
- Use information from the 50 years of Prolog paper" and the two surveys for Concurrent logic programming and merge what is salvageable from Indeterminacy in concurrent computation there.
Inductive logic programming edit
- Theta-subsumption (Needs a little bit of extension, but solid start)
- Inductive logic programming (Further drafting at user:Felix QW/Inductive logic programming)
- Articles on the main ILP systems