Comprehensive software program great to develop complex applications.
Free Prolog compiler with constraint solving over finite domains
Specially designed for education.
Main window 
Main window 
Amzi! Prolog + Logic Server screenshot 
