Jump to content

User:Felix QW/Logic programming

From Wikipedia, the free encyclopedia
< User:Felix QW
This is an old revision of this page, as edited by Felix QW (talk | contribs) at 07:09, 5 August 2023. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Current plans for logic programming articles

  1. Assess unassessed articles
  2. Write Probabilistic logic programming
  3. Add more content on stratified Datalog to Datalog
  4. Integrate information and diagrams from Fifty years of Prolog paper.
  5. 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.
  6. Create Tabled logic programming, including an introduction to SLG resolution and the theory and implementation of tabling and its extensions.
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Felix_QW/Logic_programming&oldid=1168821360"