Du programadaj "paradigmoj"

• Procedura programado:
  • algoritmo kiel tempa sinsekvo de pasxoj
  • operacioj pri variabloj
  • gxusteco estas eco de la tuta programo
  • problemo: cxu la programo haltos?
• Aplikema programado:
• Konkludado el faktoj
• substituo en identajxoj ("egalajxoj")
• gxusteco estas eco de unuopaj faktoj
• problemo: cxu estas kontrauxdiroj en programo?