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.
  • Done. Felix QW (talk) 13:47, 25 June 2024 (UTC)
• 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
  • Existing system articles:
    • Golem
      • Rewritten. Felix QW (talk) 14:03, 25 June 2024 (UTC)
    • Progol
      • Somewhat improved. Felix QW (talk) 14:03, 25 June 2024 (UTC)
    • FOIL
      • TBD. Felix QW (talk) 14:03, 25 June 2024 (UTC)
  • Other notable systems
    • Model Inference System
    • Aleph
    • Metagol