<a href="http://www.ap5.com">AP5</a> extends _(Common Lisp) with relations, operations on relations, consistency rules, and automation rules. Efficiency details are declared via annotations.
