GitHub repository: mndrix/mavis
Primary language: Prolog
Description: Optional types for Prolog