name(pha).
version('0.1.2').
author('Samer Abdallah','s.abdallah@ucl.ac.uk').
title('Probabilistic Horn Abduction').
download('https://github.com/samer--/pha.git').
requires(typedef).
requires(dcgutils).