http://es.scribd.com/mijaelal/d/54089622/1-PROLOG-Y-EL-LENGUAJE-DE-LA-LOGICA-DE-PRIMER-ORDEN

lmap -> escaneo de puertos