Bnr prolog

A constraint logic language.

Free Online Dictionary of Computing