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 13:26, 28 October 2023 (Done, others can take it from here). 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. Write Probabilistic logic programming
  2. Add more content on stratified Datalog to Datalog
  3. Integrate information and diagrams from Fifty years of Prolog paper.
  4. 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.
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Felix_QW/Logic_programming&oldid=1182303452"