name('prolog_verify_type').
title('A more declarative approach to verify the type of a prolog term').
version('0.1').
author('Risto Stevcev', 'risto1@gmail.com').