Jump to content

Talk:Constraint logic programming

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Pgr94 (talk | contribs) at 14:03, 13 March 2008 (Predicate symbols in upper case?). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Constraint_logic_programming&oldid=197960617"