4 ms·- Semantic web - Prolog - Idris/Agda/Coqby miguelrochefort 9y ago- Semantic web - Prolog - Idris/Agda/Coq