name(pascal). title('Probabilistc inductive constraint logic'). version('1.0'). author('Fabrizio Riguzzi','fabrizio.riguzzi@unife.it'). download('https://github.com/friguzzi/pascal/releases/*.zip'). requires(lbfgs).