Welcome!

Hello, Logperson, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are some pages that you might find helpful:

• The five pillars of Wikipedia
• Tutorial
• How to edit a page
• How to write a great article
• Manual of Style

I hope you enjoy editing here and being a Wikipedian! Please sign your messages on discussion pages using four tildes (~~~~); this will automatically insert your username and the date. If you need help, check out Wikipedia:Questions, ask me on my talk page, or ask your question and then place {{helpme}} before the question on your talk page. Again, welcome!

See Talk:Abductive logic programming. And thanks for the note, I should have left the explanatory note when I tagged the article. User:Dorftrottel 16:14, January 20, 2008

"Wikification" is not a very strictly defined term, but see Wikipedia:Glossary#Wikify. It basically boils down to things like formatting sections and paragraphs (as is done); embedding the article in the rest of Wikipedia by providing wikilinks from within the text body (ideally one link per linked-to page, each at the first occurrence), linking other articles to this one as appropriate and categorising the article (it's currently included in only one content category, Category:Logic programming).

If you know reliable sources, you could also (imho) greatly add to the article by writing a bit about the history and context of the concept (even if it's only two or three sentences in the lead). User:Dorftrottel 20:55, January 21, 2008

A file that you uploaded or altered, File:And-or tree.JPG, has been listed at Wikipedia:Files for deletion. Please see the discussion to see why it has been listed (you may have to search for the title of the image to find its entry). Feel free to add your opinion on the matter below the nomination. Thank you. Stefan2 (talk) 23:12, 19 November 2013 (UTC)[reply]

I think this is a redundant figure, equivalent to, but different from the one in the And-or tree article. If so, it can safely be deleted. Logperson (talk) 23:00, 20 November 2013 (UTC)[reply]

Hello, I'm BracketBot. I have automatically detected that your edit to Logic programming may have broken the syntax by modifying 1 "()"s. If you have, don't worry: just edit the page again to fix it. If I misunderstood what happened, or if you have any questions, you can leave a message on my operator's talk page.

List of unpaired brackets remaining on the page:

• The conjunction <tt>G₁, … , G_n</tt> is called the [[Guard computing)|guard]] of the clause, and <tt> | </tt> is the commitment operator. Declaratively, guarded Horn

It's OK to remove this message. Also, to stop receiving these messages, follow these opt-out instructions. Thanks, BracketBot (talk) 16:57, 14 May 2014 (UTC)[reply]