Prolog

用来表达关系和查询。SWI-Prolog 等实现还加入了有限域约束，建模和求解搜索分开进行。