Talk:Constraint logic programming

From Wikipedia, the free encyclopedia

[edit] Predicate symbols in upper case?

Isn't there a problem with notation here?

A(X,Y) :- X+Y>0, B(X), C(Y).

In logic programming, variables are in upper case while predicate symbols are in lower case:

a(X,Y) :- X+Y>0, b(X), c(Y).

So shouldn't predicate symbols be changed to lower case? Pgr94 (talk) 14:03, 13 March 2008 (UTC)