Cool to see terminusdb is majority written in Prolog (Have fond memories of writing Prolog in Uni). Is this the most prominent open source Prolog project