Well I (not really) "learn" for a side course just to get some extra credits (I do not know if this mechanism exists outside western EU) so... I can practically

Well I (not really) "learn" for a side course just to get some extra credits (I do not know if this mechanism exists outside western EU) so... I can practically say that I only have seen it's syntax and play with it at a so ignorant level that I do not really understand it's motivations... Constraint satisfaction to my eyes seems a bit of an obscure concept that is substantially present in any functional programming language, however since prolog is still there and popup regularly I understand that it's me that miss something and so I'm curious and perhaps sooner or later I'll try to reread docs and try to really understand while keep it a bit down in my priority list...