KRK

• KRK - Torres 1912
  • Maskin
  • Begränsningar
    • Tornet måste vara mellan kungarna, och mattkanten uppåt.
    • Vit kung kan ej röra sig diagonalt.
    • Tornet kan bara röra sig ett steg i taget vertikalt.
  • Klarar de flesta problem inom 50-dragsregeln, dock ej alla.
• Barbara Liskov 1968
  • Avhandling: A Program to play chess end games
    • KRK 16 sidor
    • KBBK 33 sidor
    • KBNK 53 sidor
    • Predikatkalkyl, baserad på Capablancas bok.
    • Lispprogram
    • Programmet hanterar även KQK och KNNNK
• KRK - Nilsson 1972
  • Lunds Tekniska Högskola
    • Univac 1108
    • Fortran
    • 10 cm hålkort
    • Ett skott om dagen!
    • Blev aldrig klart.
  • Min version av Torres i Python

Exempel Kc6 Rd2 Ke3

• Torres 1912 29 drag
• Liskov 1968 17 drag
• Thomson 1975 13 drag

Slutsats

Ansatsen i Torres och Liskovs projekt var att skapa en maskin eller ett program som tänker som en människa.
Dessa program kan sägas bestå av ett antal if-satser.
Skalbarhet saknas.