User:Felix QW/Logic programming

Current plans for logic programming articles

• Write Probabilistic logic programming
• Add more content on stratified Datalog to Datalog
• In particular, use information there and in the two surveys for Concurrent logic programming and merge what is salvageable from Indeterminacy in concurrent computation there.

Work in progress

• Theta-subsumption (Needs a little bit of extension, but solid start)
• Inductive logic programming (Further plans 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