• MAC Project Background
  • MAC Research Stream group projects
    • Details of the group project exercise
    • NAND Theorem Prover
    • Distributed Information System
    • Dynamic Geometry using Logic Programming
    • Communicating Agents in Prolog
    • Web-based Tool for Demonstrating Prolog Execution