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 19:05, 30 November 2023 (Update). 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

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Felix_QW/Logic_programming&oldid=1187674362"