[ Course Documents ] : [ Programming LanguageHistory and Evolution ]

Previous Contents Next Keyword Index

Overview: Logic

• Based on predicate logic

• Declarative: describes what problem is to be solved, but not how

• Key features:
  • No mutable variables
  • "Statements" are logical predicates or assertions
  • Every statement succeeds or fails
  • Few explicit control constructs
  • Recursion, recursion, recursion!
  • Must understand implementation model to use