User:Robert Kowalski

I have been editing Wikipedia pages since around 2006, but without a user page, focussing mainly on articles related to logic programming. I have an entry on Wikipedia (Robert Kowalski), which I try to keep my hands off of, to avoid the appearance of self-promotion.

I have also tried to engage the logic programming community in improving the Wikipedia articles, mainly through the Association for Logic Programming, most recently at the International Conference on Logic Programming, held at Imperial College this summer in July 2023. I am hoping this user page and the associated sandbox will help that effort.

Recent Edits

 * New section Algorithm = Logic + Control of the Algorithm article. Included a Ciao functional syntax version of the Euclidean algorithm.
 * Edited the Prolog section and added short Datalog and Answer set programming sections to the Declarative programming article.
 * Replaced the Prolog example in the Computer program article. Added a Prolog version of the C and C++ student grade example in the same article.
 * Added a section on the relationship with logic programming to the functional programming article.
 * Edited the Logic programming article.
 * Knowledge representation and reasoning. Added logic programming to History section. See Talk:Knowledge representation and reasoning.
 * Rewrote the event calculus article, replacing circumscription by a Prolog implementation.
 * Expanded the event calculus section of the frame problem article.
 * Logic in computer science. Added logic programming.
 * Rule-based system Added logic programming.
 * Computational thinking Added Computational Logic and Human Thinking.
 * If and only if Added when"if" means "if and only if".
 * Definition Added Logic programs.
 * Recursive definition Added logic programming and corrected errors.
 * Function (computer programming) Added Prolog to the list of examples.
 * Recursion (computer science) Added Recursion in Logic Programming.

More detail here: https://en.wikipedia.org/wiki/Special:Contributions/Robert_Kowalski

To do

 * Constraint logic programming. Non-standard syntax, and poor,confusing introductory example. Only operational semantics. No model theoretic semantics.


 * Algorithm characterizations. Add Algorithm = Logic + Control.


 * Stratification (mathematics). This article is a mess.


 * Links to Levesque Prolog Book: Levesque, H.J., 2012. Thinking as computation: A first course. MIT Press.


 * Add logic programming to Evaluation strategy, Relation (mathematics), Finitary relation, Transitive closure, Relational database and Recursion.

Useful links

 * List of most popular CS articles


 * List of top-importance CS articles