Temas de “Programación lógica e I.A.”

Razonamiento abductivo
✉ Programa
:- op(1200,xfx,| |
| | | |xor2|---Suma
Z --|-|-------+--|--------------->| |
| | | | +----+ +----+
| +-------|--|-->| |A1
| | | |and1|---+
+---------|--|-->| | | +----+
| | +----+ +-->| |
| | |or1 |---Acarreo
| | +----+ +-->| |
| +-->| |A2 | +----+
| |and1|---+
+----->| |
+----+
PL 2004–05 CcIa Razonamiento por defecto y razonamiento abductivo 7.16