Practical Logic and Automated Reasoning in Elpi
Translation in Elpi (λProlog) of the code from the book:
John Harrison,
Handbook of Practical Logic and Automated Reasoning,
Cambridge University Press 2009
Practical Logic and Automated Reasoning in Elpi
Translation in Elpi (λProlog) of the code from the book:
John Harrison,
Handbook of Practical Logic and Automated Reasoning,
Cambridge University Press 2009