http://attila.ce.unipr.it/research/HYPERPROLOG/corso.html
