Jump to content

Main menu Navigation ●Main page ●Contents ●Current events ●Random article ●About Wikipedia ●Contact us ●Donate Contribute ●Help ●Learn to edit ●Community portal ●Recent changes ●Upload file

●Create account ●Log in ●Create account ● Log in Pages for logged out editors learn more ●Contributions ●Talk

(Top) 1 Recent Edits 2 To do 3 Useful links

User:Robert Kowalski

●User page ●Talk ●Read ●Edit ●View history Tools Actions ●Read ●Edit ●View history General ●What links here ●Related changes ●User contributions ●User logs ●View user groups ●Upload file ●Special pages ●Permanent link ●Page information ●Get shortened URL ●Download QR code Print/export ●Download as PDF ●Printable version Appearance From Wikipedia, the free encyclopedia

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[edit]

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#Missing History.
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[edit]

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[edit]

List of most popular CS articles

List of top-importance CS articles

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Robert_Kowalski&oldid=1213497823" ●This page was last edited on 13 March 2024, at 12:16 (UTC). ●Text is available under the Creative Commons Attribution-ShareAlike License 4.0; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization. ●Privacy policy ●About Wikipedia ●Disclaimers ●Contact Wikipedia ●Code of Conduct ●Developers ●Statistics ●Cookie statement ●Mobile view