Jump to content

User:Felix QW/Logic programming

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Felix QW (talk | contribs) at 21:02, 4 August 2023 (Plans for logic programming articles). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Current plans for logic programming articles

  1. Assess unassessed articles
  2. Write Probabilistic logic programming
  3. Improve Concurrent logic programming and merge what is salvageable from Indeterminacy in concurrent computation.
  4. Add more content on stratified Datalog to Datalog
  5. Integrate information and diagrams from Fifty years of Prolog paper.