Free Prolog compiler with constraint solving over finite domains
It can be used for dialing phone numbers using PC or mobile phone
Compiles and debugs applications on UNIX systems or SSH connection systems.
