1. Sissejuhatus: 1.1. Mis on loogiline programmeerimine? l Programmeerimise paradigma l loogiline (LP) l funktsionaalne (FP) l jt Fookus: MIDA ARVUTADA l LP ja FP on deklaratiivsed programmeerimisstiilid; l LP põhineb loogika printsiipidel ja kasutab automaattõestamise protseduure (resolutsioon, unifitseerimine); l LP keel on Prolog, kuid LP ≠ Prolog; 1.1. Mis on loogiline programmeerimine? (2) l LP sobib tehisintellekti rakenduste programmeerimiseks: l loomuliku keele analüüs ( DCG grammatikareeglid) l ekspertsüsteemid (otsingu- ja järeldusreeglid) l kujundituvastus (tuvastusreeglid) l kitsendustega planeerimine (logistika, marsruudi otsimine) l rekursiivsete funktsioonide püsipunkti arvutus l jne l LP ei sobi: l Kiired numbrilised arvutused (n
1950 ERA 1101(I kommerts comp);ALGOL 58/60: Hoare, Perlis, Dijkstra, Kurtz, ..., Kotli;BCPL derivative of ALGOL (Strachey);B simplified derivative of BCPL (Ken Thompson);C derivative of B (Dennis & Ritchie).1952 - Nixdorf Computer Corp, liitus 1990 Siemensiga. 1953 - IBMi first electronic computer, the 701, Speedcoding: John Backus. 1956 - IBM develops the first hard disk, the RAMAC 305(math 5mb). 1957 FORTRAN(loobimuutujatega,sisaldas if,do,goto)I kõrgkeel progekeel,vt70a prolog.1958 - SAGE poolautomaatne arvutite võrk usas ja canadas.1960 COBOL(Pentagonis arendas Hopper)-muutujad jades ja kirjetes;LISP(McCarthy)-programm koosn loendite hulgast.1963 hiire patent(Engelbart).1964 - CDC's 6600 supercomputer(Cray),Basic progekeel(Kurtz,Kemeny).1965 Moores law(integrated circuits double iga aasta);PDP8 I kommerts miniarvuti(tutvustas DEC).1967 I floppy disk (IBM);LOGO arvutikeel lastele(Papert).1968 - Intel Corp(Moore, Noyce
osapoole suhtlust võrgus audio ja visuaalne INTEL´i asutamine 1968, Moore, Noyce ja Grove, hargnes pm Fairchild Semist AMD asutamine 1969, Sanders ja 7 teist. Hargnes Fairchild semist UNIX-i OS 1969, Kenneth Thompson ja Dennis Ritchie, AT&T Bell Labs INTEL-i 4004 mikroprose 1971, esimene 4-bitine prose ARPANET 1971 Magnavox Odyssey - 1972, esimene kodu video mäng Colossal Cave 1972, tekstipõhine seiklusmäng Smalltalk 1972, esimene objekt-orjenteeritud progra keel Prolog 1972, esimene loogika progra keel HP programmeeritav kalkulaator 1972 Ethernet 1973, Bob Metcalf leiutab selle ühendussüsteemi Altair Esimene do-it-yourself edukas arvuti, klaviatuuri ja monitori ei olnud Alto 1974 , by Xerox, aknad, hiir, klaviatuur, monitor jne suur mõju Microsoftile ja Macile C keel arendati 69-73, Ritchie, Kernigan Micro-soft 1975 asutati Alleni ja Gates-i poolt, sidekriips hiljem eemaldati Apple I 1976 Wozniak ja Steve Jobs
Kirjutusmasin: 1972- The first object-oriented language Smalltalk developed at XEROX Inglise patent, Henry Mill, 1714, ei ehitatud PARC, bsaed on ideas by Alana Kay. Ameerika patent: 1829 William Austin Burt Detroidis 1972 - The first logic programming language Prolog developed by Alan 1867, Christopher Latham Sholes, Carlos Glidden, Samual W. Soule leiutis: Colmerauer at University of Marseilles// Hewlett-Packard introduces a "Type-Writer" programmable calculator Remington: 1874 (jalgpedaaliga!) 1973 ETHERNET, Bob METCALFE
2,300 transistors 10 µm features 10 mm2 die 108 kHz kHz 4. First commercial SQL database created by Honeywell Information Systems Inc., which released a commercial product in June of 1976. Space war was a first graphical computer game, created on PDP-1 in 1961 1972 Bill Gates and Paul Allen form the Traf-O-Data company 1972 The first object-oriented language Smalltalk developed at XEROX PARC, based on ideas by Alan Kay. The first logic programming language Prolog developed by Alan Colmerauer at University of Marseilles Hewlett-Packard introduces a programmable calculator with a magnetic stripe memory for storing programs 1973 IBM develops a cheap disk and drive: IBM introduces the IBM 3340 hard disk unit, known as the Winchester, IBM's internal development code name. The recording head rides on a layer of air 18 millionths of an inch thick. It uses four 8-inch diameter platters, giving it a capacity of 70 MB.
1646-1716 Leibniz. Leibnizi arvuti(1671)liitis, lahutas, korrutas, jagas 1971 ARPANET ->interneti eelkäija, PASCAL, Kenback-1 1714 Kirjutusmasin, Henry Mill, 1972 Inteli 8008, 5 ¼ Disketid, esimene e-mail, SMALLTALK, PROLOG, esimene 1800 Perfokaardid, Jacquard, progetav kalkulaator HP-lt 1822 Babbage 1973 CP/M, Ethernet(Bob Metcalfe) 1847-1854 George Boole, de Morgan 1974 C (Kernighan ja Ritchie), Altair 8800, Motorola 6800, Xeroxi Alto 1879 Kaasaegse loogika alus: Gottlob Frege
vaid v6ab esitada otsitava lahehduse ki4elduse , njng juba progrffima taiimise keigus otsustab susteem autffiaatselt, mis END sumtoi viisil iaFelt seda lahendust otsida. Oklaratiivseteks keeltek6 v6ib lugeda toogilise !{gqlam@dmise @elcd (naiteks I Ada Prolog) ja mitmed tuntdsionaalsed keeled (naiteks Haskell)- Teoorias kasutalav lambda-atuulus s puhtalt funktsiohaalse t9-57 - FORTRAN, FAIRCHAILD scrnicon(luctors
õigusaktide väljatöötamisele ning sellealase info levikule. Käesoleval ajal ühendab ELEA endas 51 rahvusvahelise transpordi ja ekspedeerimisega või muude logistikateenuste pakkumisega tegelevat firmat. FIATA (International Association of Transitaires and Assimilés/Rahvusvaheline Ekspedeerijate Assotsiatsioonide Föderatsioon) FIATA transpordivaldkonnas suurim valitsusväline organisatsioon. Selle mõju on kogu maailmas. Prolog (kutseandja) Eesti Tarneahelate Juhtimise Ühing on füüsiliste ja juriidiliste isikute vabatahtlik ühendus, mille tegevuse eesmärgiks on ostu-, hanke- ja tarneahelate juhtimise edendamine, ühingu liikmete professionaalsete oskuste pidev tõstmine ning arendamine ja selle kaudu Eesti majanduselu ning sotsiaalsfääri parendamine. Miljonimäng: https://learningapps.org/display?v=p3jkitp9a18 (greeteliis - Parool123)
See käsitleb rahvusvaheliste maanteevedude veorahalepingu sätteid. Eesti ühines lepinguga peale taasiseseisvuse saavutamist. ● ELEA- on rahvusvahelise ekspedeerimisega ja logistikateenuste pakkumisega tegelevate juriidiliste isikute vabatahtlik ühendus. Organisatsiooni eesmärgiks on esindada ja kaitsta liikmete ühiseid tööalaseid huve, vältida ebaausat konkurentsi ja aidata kaasa oma valdkonna õigusaktide väljatöötamisele ning sellealase info levikule. ● PROLOG- PROLOGi ehk Eesti Ostu- ja Tarneahelate Juhtimise Ühingu tegevuse eesmärgiks on ostu- ja tarneahelate juhtimise edendamine, ühingu liikmete professionaalsete oskuste pidev tõstmine ning arendamine ja selle kaudu Eesti majanduselu ning sotsiaalsfääri parendamine. Ühing tegutseb ostu- ja tarneahelate juhtimise eri valdkondades töötavate isikute, samuti ostu ja tarneahelate juhtimisest ja selle arendamisest huvitatud isikute ja institutsioonide aatelise ühendusena. Ühingu
established four nodes on the ARPANET: the University of California-Santa Barbara and UCLA, SRI International, and the University of Utah. 1972 In 1977 Atari enters the home computer market among others 1972 Two important programming concepts introduced: The first object-oriented language Smalltalk developed at XEROX PARC, based on ideas by Alan Kay. The first logic programming language Prolog developed by Alan Colmerauer at University of Marseilles 1972 Hewlett-Packard introduces a programmable calculator with a magnetic stripe memory for storing programs 1973 Scelbi Computer Consulting Company offers the first computer kit in the U.S. using a microprocessor, the Intel 8008-based Scelbi-8H, for US$565, with 1KB programmable memory. An additional 15KB is available for US$2760. Bob Metcalfe invents the Ethernet connectivity system.
1972 Ralph Baer ,,Computer Space"(1970); Nolan tegi uue firma ATARI; ,,Pong" esimene edukas videomäng; (1977 ATARI siseneb koduarvutite maailma); Colossal Cave tekstipõhine seiklusmäng Will Growheri poolt; Ray Tomlinson loob e- maili programmi ARPANET-i tekib @; 1972 5 1/4 inch diskettes first appear. 1972 2 tähtast programmeerimise konsepti esitletakse: Objektorienteeritud Smalltalk idee Alan Kay XEROX,PARC Loogiline programmeerimine Prolog Alain Colmerauer; Hewlett-Packard tutvustab programmeeritavat kalkulaatorit 1973 Bob Metcalfe leiutab Etherneti C arenes 1969-1973 Thompson, Ritchie, Kerrighan 1978 ilmus raamat ,,The C Programming Language" 1975 Bill Gates & Paul Allen teevad uue BASICu MITS- le; Bill Gates & Paul Allen asutavad ,,Micro-Soft"-i; Asutatakse Zilog 1976 01.04 Wozniak ja Jobs asutavad Apple Computer Company; 1977 Commodore PET(Personal Electronic Transactor) ilmub , see on üks esimestest personaal-
1957 FORTRAN(loobimuutujatega,sisaldas tõsi, siis ka B on tõsi. Omadused:Kui kõigil asjadel DO i 10 = 0,n on omadus P, siis on olemas asi, millel on omadus if,do,goto)I kõrgkeel progekeel,vt70a prolog. isum = isum + i P;??? Kui on olemas asi, millel on omadus P, siis 10 CONTINUE on kõigil asjadel omadus P. Loogika teke: 1958 - SAGE poolautomaatne arvutite võrk usas Parmenides (5 sajand e.m.a
ainevalla või rakendusala probleeme teadmusbaasist järelduste tegemisega. 25. Teadmiste esitamise formalisme. Teadmiste esitamiseks võib kasutada mitmesuguseid keeli ja formalisme, näiteks loomulikku keelt, semantilisi võrke, mitmesuguseid loogikaid, reegleid, freime, närvivõrke, andmebaaside kirjelduskeeli, algoritmilisi keeli, otsustuspuid, graafe jm Teadmuse kujutamise keeli saab liigitada deklaratiivseteks ja protseduurseteks. Deklaratiivsete keelte puhul (nt Prolog, semantika kirjelduse vahendid) kirjeldatakse olukord ja vajadusel küsitakse lahendust (lahenduskäik tuleb süsteemil ise leida). Protseduursetes keeltes (nt algoritmilised keeled) esitatakse olukorra kirjeldus, küsimus ja lahenduskäik koos. 26. Seos teadmiste esitamise ja järeldamise vahel. 27. On mitmeid vägagi erinevaid loogikaid. Millal mingit teadmuse esitamise ja arutluse meetodit võib nimetada loogikaks? Tooge näiteid teadmuse esitamise ja arutluse
J. Backus. FORmula TRANslator · ALGOL, 1958, P. Naur. ALGOrithmic Language - Euroopa projekt · COBOL, 1959, COmmon Business Oriented Language - USA · BASIC, 1965, Beginners All-purpose Symbolic Instruction Code - USA · Pascal, 1971, N. Wirth - Euroopa · C, 1974, D. Ritchie · Ada, 1979 - USA · Funktsionaalsetest keeltest esimene on Lisp, 1962, J. McCarthy, LISt Processing - MIT · Loogilistest keeltest esimene on Prolog, 1971, PROgramming in LOGic - Marseille Univ. · OOP alused Simula, 1967 · Smalltalk - "puhas" OOP · C++ , 1986, B. Stroustrup, OOP · ML, Haskell, Scheme - funktsionaalsed · Java, 1995, Sun - OOP Programmeerimiskeelt iseloomustavad: 1. leksika - kuidas panna kirja elementaarseid "sõnu" antud keeles - nimed (identifikaatorid), konstandid (arvud, stringid, tõeväärtused jne.), võtmesõnad (reserveeritud nimed), eraldajad jne. 2
veebirakendus ja kuidas single-page app (koodinäiteid / nende detaile ei küsita). Robootika kohta ainus küsimusetüüp: kas mingit sorti ülesannet praegused robotid suudavad täita või ei. 11. Nädal Eksamiks: rekursiooni äratundmine, baasjuht ja rekursiivne juht, rekursiooni ekvivalentsus tsükliga, arusaamine funktsionaalse keele näitejuppidest loengus: mida mingi näitekood teeb / mis on rehkendamise tulemus. Mis on lambda-arvutus. Proloogi näide tuleb ära tunda (et on Prolog). Mis on andmebaasid ja mis on sql. Detailseid sql- küsimusi ei tule. Sql näidet tuleks ära tunda (et on sql keeles). 12. Nädal Eksam: lahenduvus teoreetilises ja tavamõttes, mis on lahenduvad ülesanded. Positiivsete täisarvude, positiivsete/negatiivsete ja murdarvude võimsuse võrdlemine ja tõestamine. Reaalarvude suurem võimsus kui täisarvude võimsus (Cantori teoreem): tõestuse idee. Mis on peatumisprobleem, selle lahendamatuse tõestuse idee
eetikale, sh ostutöö konfidentsiaalsust (vt edaspidi); koostöötingimusi tarnijatega. Hankekord (Riigihangete seaduse § 131): Hankija kehtestab asutusesisese hankekorra, kui tema poolt ühes eelarveaastas planeeritavate asjade ja teenuste riigihangete eeldatav kogumaksumus ületab 80 000 eurot või ehitustööde riigihangete eeldatav kogumaksumus ületab 500 000 eurot. ii. Ostujuhi kutse-eetika Eesti Tarneahelate Juhtimise Ühingu (ProLog) eetikakoodeksi näitel- [Ostujuhid] ei kuritarvita oma ametiseisust ... isikliku kasu saamiseks, vaid üritavad igati toetada ja parandada ostu ja tarneahelate juhtimise valdkonna elukutsete staatust. Nõuded 1. Järgida kompromissitult aususe ning eetika standardeid kõigis ärisuhetes nii seespool kui ka väljaspool organisatsiooni, kuhu nad on palgatud 2. Propageerida kõrgeimat võimalikku professionaalse
jõudis pärale -> kiirem, osad võivad kaduda Kapseldamine (mis mille sees) - saadetud informatsioon on kihtides (siht, transport, data) 10. nädal • Eksamiks: rekursiooni äratundmine, baasjuht ja rekursiivne juht, rekursiooni ekvivalentsus tsükliga, arusaamine funktsionaalse keele näitejuppidest loengus: mida mingi näitekood teeb / mis on rehkendamise tulemus. Mis on lambda-arvutus. Prologi näide tuleb ära tunda (et on Prolog). Arendusprojektide kohta küsimusi ei tule. Puhtas funktsionaalses keeles – Haskell, Hope, Miranda, FP – ei ole programmeerijal peale funktsioonide definieerimise ja sisseehitatud baasfunktsioonide (artimeetika, loendid jms) mingeid lisavahendeid. Kõik kõrvalefektid on keelatud. Puhas funktsionaalne keel ei luba muutujale väärtusi omistada. Ainus efekt, mis funktsiooni rakendamine argumentidele annab, on resultaadi leidmine.
on B ja C. Algselt mõjutatud ka ALGOL 60-st 1968 - DEC PDP-7 ja Thompson kirjutab UNIXi PDP-7 assemblers[2] UNIX on populaarne mitmekasutaja ja multitegumtööga operatsioonisüsteem, mis töötati välja 70-ndate aastate alguses Bell Labs's ja millel on mitu versiooni. Üheks levinumaks on 1991. aastal Linus Torvaldsi poolt IBM-tüüpi arvutite jaoks loodud LINUX, mida levitatakse tasuta (priivarana). Programmeerimiskeeled C Forth, COBOL, Fortran, Basic, Logo, Pascal, Modula2, Prolog, Smalltalk, Lisp UNIX-i algus 1969. aastal oldi projektiga tõsiselt ajakavast maas. Selle loojad lubasid palju rohkem kui tegelikult valmis oli jõutud teha. Projekti venimise tõttu ja ka sellepärast, et AT&T laboratooriumid asusid Massachusettsist kaugel eemal New Jerseys, otsustas AT&T projektis osalemisest loobuda. Samal aastal püüdis AT&T Bell Labs-i insener Ken Thompson, kes oli samuti osalenud
baasjuht Eksamja Eksamrekursiivne Eksamjuht, rekursiooni Eksamekvivalentsus Eksamtsükliga, arusaamine Eksamfunktsionaalse Eksamkeele Eksamnäitejuppidest Eksamloengus: mida mingi näitekood teeb / mis on rehkendamise tulemus. Mis on lambda-arvutus Eksam– Eksamlihtne ja universaalne meetod funktsioonide kirjapanekuks, pmst progekeel Prologi Eksamnäide Eksamtuleb Eksamära Eksamtunda (et on Prolog) - on esimene -- ja siiani kasutusel -- loogilise programmeerimise keel. Prolog-ile lisaks on välja töötatud mitmeid uuemaid loogilise programmeerimise keeli ja süsteeme. Arvutivõrgud: mac Eksamaadress Eksam– Eksamphysical Eksam48bit device code ip Eksamaadress Eksam– Eksamaadress Eksamkõigil võrguseadmetel port Eksam– EksamLisaks IP aadressile, sorteerivad ühendusi
The rules are easy to learn, and
easy to use. XML documents must contain one root element that is the parent of all other
elements:
XML DOCUMENTS MUST HAVE A ROOT ELEMENT
marsruudilt ja saadetise olukorra kohta - näiteks temperatuur, niiskus, vibratsioon, kas konteineri uksed on avatud või suletud, valguse hulk konteineris jne. Info salvestatakse kliendi infosüsteemi ning on seal vajadusel analüüsimiseks kättesaadav. See muudab lisaks teekonna jälgimisele ka veoahelat läbipaistvamaks ning aitab alandada kindlustuse hindu. (Sarapik 2009a) 2.3. Olevik Täna on Eestis ettevõtetel 50000 väikesõidukit, pakiautosid on 20000 ja veoautosid 80000. PROLOG-i juhtimisel EAS-i klastriprojekti raames läbi viidud uuring ,,Eesti Ettevõtete transpordituru valdkonna rahuldamata infovajadused tarneahelate juhtimisel" kinnitas, et ligi pooled Eesti veofirmadest kasutavad juba GPS-jälgimissüsteemi. Enamik kasutajad leidsid, et GPS-jälgimissüsteemi kasutusele võtmisest on ettevõtte töö muutunud efektiivsemaks. Eestis on kõik teenuse pakkujad müünud kokku umbes 6000 kontrollerit. Vaid 10% potentsiaalsest turust on kaetud.
3.Seostab kõik protsessid, if,do,goto)I kõrgkeel progekeel,vt70a computer commonly manipulates: Visual (pictures) 1999-2007: olulised asjad failid jm omanikuga ja piirab protsesside prolog.Asutati Fairchild Semiconductor. Numeric (numbers) Character (text) Audio (sound) pöördumise failide/ressursside poole vastavalt kümnendil:Vabavara (GNU/Linux, Apache jne) Instructions (programs).Before the computer pääsu- ja kasutusõigustele. 1958 – First integrated circuit
Arvutipõlvkond – peamiselt valmistatakse tehnoloogial põhinev ajalooliigituse klass. Arvutipõlvkondade areng on tihedalt seotud arvutite tarkvara arenguga - programmeerimiskeelte põlvkondadega. S. Burd eristab viite programmeerimiskeelte põlvkonda: 1. Masinakeeled; 2. Assemblerikeeled; 3. Kõrgkeeled Fortran, Cobol, Basic, PL/1, Pascal ja C; 4. Visual Basic ja SQL; 5. LISP ning Prolog. Eraldi klassi moodustavad objektorienteeritud keeled (C++, Java, Small Talk) ja skriptikeeled (VBScript, Javascript). Esimene põlvkond (1946 – 1954) Iseloomulikud jooned: Arvutite elementbaasi moodustasid elektronlambid Arvutite jõudlus jäi vahemikku 2×10 3 kuni 16×103 liitmisoperatsiooni sekundis Arvutite arhitektuur tugines siseprogrammi kasutamisele (alates EDSACst) Igal arvutil oli ainuslik protsessor (keskprotsessor)
Budskap: Astolf põgenes tegelikkuse ja oma kohustuste eest- allakäik nii temale kui ka ta rahvale) publicerades i två delar. Fågel blå publicerades från början 1814 som ett fragment i Poetisk kalender. Svenska siare och skalder, Sveriges första egentliga svenska litteraturhistoria, skrevs av Atterbom, och för den han fick sitt erkännande i den svenska estetiken. Senare kritiserade romantiker, fatasivärlden försvinner men han arbetar fortfarande med romantiska medel. "Prolog" Vilhelm Fredrik Palmblad var en svensk författare och översättare, docent i historia och professor i grekiska vid Uppsala universitet. Han blev under sina studier i Uppsala nära vän med Atterbom. Han valdes in i Musis amici 1808 och när sällskapet ombildades till Auroraförbundet var Palmblad den drivande kraften. Palmblad bidrog också själv som skribent till Phosphoros med såväl recensioner och översättningar som lyrik. Han ägde en akademisk tryckeri
The @ sign was chosen from the punctuation keys on Tomlinson's Model 33 Teletype for its "at" meaning. First computer-to-computer chat takes place at UCLA, and is repeated during ICCC, as psychotic PARRY (at Stanford) discusses its problems with the Doctor (at BBN) Two important programming concepts introduced: The first object-oriented language Smalltalk developed at XEROX PARC, bsaed on ideas by Alana Kay. The first logic programming language Prolog developed by Alan Colmerauer at University of Marseilles Hewlett-Packard introduces a programmable calculator with a magnetic stripe memory for storing programs. Users could write programs up to 100 lines in length and record them on blank cards, or they could buy pre-programmed cards. In 1975 it is used on Soyuz-Apollo mission for calculating critical course-correction maneuvers. 1973 Intel files a patent application for a "memory system for a multichip digital computer".
Loogilised keeled Loogiliste keelte omapära seisneb selles, et nendes kirjutatud programm kirjeldab ülesandes kasutatavate objektide seosed loogiliste avaldistena, mille väärtused saavad olla kas tõesed või väärad. Ka programmi töö tulemuseks on esitatud küsimuse tõeväärtus. Võib ka rääkida selliselt, et loogilise programmeerimise käigus pannakse kirja aksioome ja programmi täitmise käigus püütakse tõestada esitatavaid väiteid. Tuntumaks loogiliseks keeleks on Prolog, mis on välja töötatud 1970. aastate alguses. Kui jaapanlased rääkisid viienda põlvkonna arvutitest, mis hakkab suhtlema kasutajaga hääle abil, siis planeerisid nad kasutada uutes arvutites just Prologi. Loogilisi ja funktsionaalseid keeli nimetatakse teinekord ka deklaratiivseteks keelteks, s.t. programmis me kirjeldame ehk deklareerime seoseid ja reegleid, mis antud ülesande valdkonda kuuluvad. ESIMESE TEEMA KOKKUVÕTE
PRG Program (file name extension) PRI Primary-Rate Interface PRINTF Print with Formatting [C Programming Language] PRISM Photo-Refractive Information Storage Material .PRJ Project (file name extension) [Borland] PRMD Private Management Domain [X.400] PRML Partial-Response Maximum-Likelihood .PRO Professionals (Domain Name) [Internet] + Profile (file name extension) PROC Procedure PROFS Professional Office System [IBM] PROG Program + Programmer PROLOG Programming In Logic (Programming Language)(See HLL) PROM Programmable Read Only Memory PRN Printer PRNG Pseudo-Random Number Generation (algorithm) .PRS Printer (file name extension) [WordPerfect] PRTSC Print Screen PS Proportional Spacing .PS PostScript (file name extension) PS/2 Programming System 2 [IBM] PSAPI Presentation Space Application Programming Interface PSC Personal Super Computer + Print Server Command + Product Service Center
kirjeldab ülesandes kasutatavate objektide seosed loogiliste avaldistena, mille väärtused saavad olla kas tõesed või väärad. Ka programmi töö tulemuseks on esitatud küsimuse tõeväärtus. Võib ka rääkida selliselt, et loogilise 14 / 115 programmeerimise käigus pannakse kirja aksioome ja programmi täitmise käigus püütakse tõestada esitatavaid väiteid. Tuntumaks loogiliseks keeleks on Prolog, mis on välja töötatud 1970. aastate alguses. Kui jaapanlased rääkisid viienda põlvkonna arvutitest, mis hakkab suhtlema kasutajaga hääle abil, siis planeerisid nad kasutada uutes arvutites just Prologi. Loogilisi ja funktsionaalseid keeli nimetatakse teinekord ka deklaratiivseteks keelteks, s.t. programmis me kirjeldame ehk deklareerime seoseid ja reegleid, mis antud ülesande valdkonda kuuluvad. Esimese teema kokkuvõte
8=>?5@@>=$>?$A>EEG6HA:DH>6$@DG
annaabi.ee 
