Content: Logic Programming

• Prolog
  • Declarative Programming
  • Termination
  • Grammars
  • Constraints