User:Felix QW/Logic programming
From Wikipedia, the free encyclopedia
Current plans for logic programming articles
Currently, the focus is on the "X logic programming" articles.
Probabilistic logic programming
- Write Probabilistic logic programming using the PILP paper as a first resource.
- Next step: Improve lead.
Concurrent logic programming
- 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
- 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