Talk:Prolog

resources: These texts may be copied to the wikibook literally
These two should be particularly useful for pages like the listing of built-in predicates
 * http://pauillac.inria.fr/~diaz/gnu-prolog/manual/index.html#copyright - The GNU Prolog Documentation, distributed under what seems to be the gfdl.
 * http://hcs.science.uva.nl/projects/SWI-Prolog/Manual/ - The SWI Prolog manual, the author has kindly given permission to use the texts

Codepedia
I, Bilderbikkel, would like to contribute with the CodePedia pages, www.codepedia.com/1/Prolog, that I've created. Can I assume other are able to distinguish Visual Prolog from other dialects (and perhaps label these)? What I really miss is File I/O, which I discuss (to the best of my humble knowledge) at www.codepedia.com/1/PrologFileIo. I hope I can add this section to the WikiPedia.
 * Unfortunately, CodePedia, doesn't seem to allow reproduction of its materials (even if you wrote them), so they can't be copied to wikibooks or wikipedia. You could check the two links above. They have pretty comprehensive sections on file I/O that can be copied. I wouldn't worry to much about things belonging to a dialect. The book is still in its infancy. Details can be smoothed out later. risk 01:10, 8 December 2006 (UTC)

Naming policy
You might want to consider the WB:NP. You current naming convention is depreciated and has several disadvantages - like it has no navigational links. Also you worthy effort is neiter considered a book nor a section inside a book. See wikistats which implements an exstensive book and section detector.

--Krischik T 07:15, 11 October 2005 (UTC)
 * Thanks for the note, it's been a while since I looked at this. I've been meaning to convert to the subpage naming system. I figure it should analogous to the Ada book; ditch the programming prefix and use slashes for subpages. I'd prefer the name Prolog, over Prolog Programming, though (especially since it's not unthinkable that non-programming topics will be discussed). If anybody has some time to kill, feel free to make this happen. risk 00:25, 15 October 2005 (UTC)

Adding Contents
These are topics to discuss (they may be covered already?).
 * Second order predicate calculus. Prolog is a language that implements First order predicate calculus. Is it possible to implement a Second order predicate calculus system? --Connection 09:55, 10 March 2006 (UTC)