Prolog

• Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz
  
  
• GNU-Prolog Manual - a native Prolog compiler with constraint solving over finite domains
  
  
• Prolog Tutorial by J. R. Fisher