Collaborative ontology construction involving Prolog

Thanks for the suggestion!