unidad 4

4.2. Semántica de los programas lógicos Observen que resoluci´on (incluso la SLD) no prescribe una forma particular deresponder estas pregu...