The Mercury logic programming system

by Antibabelic | View on Hacker News