GitHub repository: simula-vias/ite
Description: A lightweight approach for implementing constructive disjunction in Prolog