Alhvi Balcarcel's List: Prolog

• To enter rules from the command line, type this :
• [user].

• • Así se agregan otras reglas de verificación
• {digit_code(J)}.

• X = Y, X \=Y 
  Tests whether X and Y can be unified, or cannot, respectively. For example,
• X ==Y, X \== Y 
  Tests whether X and Y are currently co-bound, i.e., have been bound to or share same value, or not, respectively. For example,

• What does the "clauses are not together in the source-file" error mean?
• Generally, Prolog programs are easier to read when all of the clauses with the same head are grouped together. Note, this is not required, which is why it is only a warning and not an error.

• Member is a standard prolog built-in predicate. You use it like this:
• member(Element, List).

• • Aquí está cómo se pasan los parámetros extra a la gramática
• np(X) --> pro(X).
• Here we've used the extra argument to state which pronouns can occur in subject position, and which occur in object position. Thus these rules are the most fundamental, for they give us the basic facts about how these pronouns can be used.
• np(_) --> det,n.
• anonymous variable

3 more annotations...