TerminusDB is a distributed database with a collaboration model
Deductive Database with Datalog, SQL, RA, TRC, DRC
A Database System for Metamodeling and Method Engineering
ADP is a script language designed for Web database prgramming.
anpe is Ada Neural Prolog Engine
C#Prolog -- A Prolog interpreter written in managed C#
IMDb Relational Dataset Generator