Talk:Prolog

From Wikibooks, the open-content textbooks collection

Jump to: navigation, search

Comments are appreciated, thank you. risk

Contents

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

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

[edit] Wikibooks: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)

[edit] 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)
Personal tools