EDIT: (too late to edit above) s/logic programming/relational programming/ it isn't as expressive as LP or CLP and works best embedded in a functional-biased

EDIT: (too late to edit above) s/logic programming/relational programming/ it isn't as expressive as LP or CLP and works best embedded in a functional-biased language