APACHES.Prolog_CSDVP
Prolog constraint satisfaction decaying variables problem (CSDVP) implementation