For those few interested I have uploaded online some content about Prolog
In particular, there is a paper on the argument at
library (albeit almost incomplete) called bioprolog (no fantasy about the
name :-) downloadable at
You should note that I put the library online at this embryonal stage
because I hope it will be attractive for someone that can help/maintain the
project (I have no time at the moment).
Mauro Di Nuzzo