PROLOG: Orakolo el faktoj

• PROLOG: lingvo por per-logika programado
• Procedura programado:
  • donas algoritmojn
  • plenumigxo ("rulado") donas rezultojn
• Per-logika programado:
• donas faktojn
• konkludado (rezonado) donas rezultojn