See also Prolog
Table of Contents
A query language for deductive databases that is based on logical facts and rules. It’s similar to Prolog which has no data structures and is based on formal logic.
