Loogilise programmeerimise 1.kontrolltöö konspekt
tundmist
l Keeruline saavutada “puhast deklaratiivsust”
l Efektiivsuse saavutamiseks peab tundma Prologi otsingumootorit
l Praktilises programmeerimises vaja ka nn “madala taseme” käske:
l kasutajaliidesejuhtimine,
l failisüsteemi käsud,
l stringide teisendamine jms.
LP edasiarendused
l Laiendamine teiste programmikeelte paradigmadega
Põhimõisteid
Aatomid -- andmete, programmide, failide jne. nimed:
o alfanumbrilised aatomid
o Prologi jaoks reserveeritud sümbolid, mida ei ole soovitav kasutada aatomites
Termid:
o muutujad
o konstandid
• täisarvud
• reaalarvud
• aatomid
• listid
o Listid -- esitavad loendeid
Predikaadid (faktid)
o kasutaja poolt defineeritavad predikaadid o sisemised e. sisseehitatud predikaadid
Predikaadi tähistus:
teekond/1