Talk:Prolog/Introduction

The example near the end of this page - father(A,_). I think it should be parent(A,_). as father hasn't been defined.
 * right again :)
 * A:)

Variations between compilers
Would it be a good idea to add differences between different compilers? Or at least a note that there might be differences?

For example, I use the Windows port of the GNU Prolog compiler. After it iterates through all the possible results, it answers "yes" instead of "No" if there is more than one result.

This might be confusing to some. Thoughts?

Hello, Person!
I think it would be nice to have a program that asks the person his/her name, inputs the string, and replies with 'Hello, ', Person, '!'. I learned prolog 20 years ago, I could write this, but now it seems that I can't - there's no way I can input a string in prolog :-/ Albmont (talk) 14:24, 21 July 2008 (UTC)

binding inconsistency
Are binding, unification, and instantiation all clearly differentiated and used consistently? E.g., "Prolog will try to bind a term to the variable." "In the example above, prolog will first find human(david) in the program and unify A with david" Gherson2 (talk) 14:02, 11 April 2009 (UTC)

new address for B-prolog
Hi, it seams to me that B-prolog has a new internet address: http://www.picat-lang.org/bprolog/index.html

the address mentioned on the page (http://www.probp.com) now belongs to a German Forex Trading company.

Minor error
In section Examples the code should be ?- transport(A, subway), transport(A, tram). A = amsterdam ; false. Rather than  in the last line. Rursus (discuss • contribs) 10:45, 12 July 2024 (UTC)