title: Comparing SQL and Prolog
body: <p>I've started learning Prolog and wondering about the theoretical difference from the SQL language. </p>
  
  <p>For example:</p>
  
  <ul>
  <li>both are declarative languages</li>
  <li>both support a fact-driven knowledge database</li>
  <li>both support question-styled data-retrieving</li>
  <li>both support functional dependencies</li>
  </ul>
  
  <p>Any more common points? Any notable differences?</p>