User:Felix QW/Logic programming

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.

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
  • Existing system articles:
    • Golem
    • Progol
    • FOIL
  • Other notable systems
    • Model Inference System
    • Aleph
    • Metagol