Logic

• Declarative reading:
  • Referencial transparency
  • Small code units have their own, isolated meaning
  (much like mathematical equations)
• Logical (mathematical) variables:
  • Bi-directional parameter passing
    (more than pattern matching)
  • Single assignment
  • No need for explicit memory management
  • Data structures easy to build
• Non-determinism: built-in search procedure