Likelog

Likelog: a logic programming language for flexible data retrieval.

This software is also peer reviewed by journal TOMS.