ADP is a script language designed for Web database prgramming.
The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
Goal-directed answer-set programming
Constraint Logic can solve word logic puzzles.