Constraint programming
Prolog
ECLiPSe
Constraint Handling Rules
Logic programming
Emacs
Futures and promises
Logtalk
Visual Prolog
Computing
Software engineering
Software