Prolog Documentation

• Overview
  • Motivation
  • Goals
  • Accomplishments
• Implementation
  • Capabilities
  • Components
  • Status
• Tests
  • Unit Tests
  • Documentation Tests
  • Continuous Integration
  • Coverage
• Listing
  • ast.ml
  • common.ml
  • evaluator.ml
  • lexer.mll
  • main.ml
  • parser.mly