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. maatriksarvutused, võrrandid) l OOP (kuigi on toetatud mõnes prologis) l kasu...
leidmine. Kombineeritud funktsionaalsed keeled - ML, Lisp, Scheme - kombineerivad puhaste funktsionaalsete keelte mehhanisme imperatiivsete mehhanismidega. Lambda-arvutuse teooria tegeleb arvutatavuse ja arvutatavate funktsioonide uurimisega, kasutades selleks lambda-arvutuse keelt kui universaalset programmeerimiskeelt. Churchi tees väidab, et iga algoritmi saab lambda-arvutuse keeles kirja panna. On võimalik näidata, et lambda-arvutus, nagu ka Prolog, C ja Basic on üks paljudest universaalsetest programmeerimiskeeltest. Konkreetselt on lambda-arvutuse keel ja teooria funktsionaalsete programmeerimiskeelte aluseks. Loogika progra keel Prolog Prolog-i põhi-idee on nõuda otsitava lahenduse kirjeldamist esimest järku predikaatarvutuse keeles, kusjuures Prolog-i süsteem sisaldab teatud tüüpi automaatset teoreemitõestajat, mis on võimeline lahendust automaatselt otsima ja tuletama. Some properties of an Algorithm Kindlasti:
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
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
Pdhjuseks on 6iin keele end l@pl atdomaattranslaatori vdiksem inlelligentsus kogenud programmeeriiaga v6reldes. l96l - Spacc War. esinlene amrtinriing. pDp I returh sh; Prolog on esimene - ia siiani vega populaarne - loogilise programm6erimise keel. Prolog-i p6hi-idee on n6ude otsitava I Python lahenduse kirieldamist esimest jeftu predikaalaruutuse keeles. Sellegipoolesl ei ole P.olog siish aulomaatse It)63
Konossement (bill of landing) mereveo veokiri Kauba väärtpaber, milles vedaja tunnistab kauba transportimiseks vastuvõtmist, kohustub transportima kauba konossemendis kirjeldatud viisil lähtesadamast sihtsadamasse ning loovutama selle isikule, kes esitab konossemendi ja kellel on konossemendi alusel õigus kaupa vastu võtta IMO (Rahvusvaheline Mereorganisatsioon) Rahvusvaheline merendusorgansatsioon ÜRO juures, mis tegeleb rahvusvahelise koostööga nii valitsuste tasandil kui ka koostöös tööstusharu esindajatega, et edendada meresõidu ohutust ja vältida merereostust. Hamburgi reeglid (Rotterdami ja Haag-Visby reeglid) Hamburgi reeglid kehtestavad vedaja vastutuse presumptsiooni hooletuse korral ühes vastupidise tõendamiskoormisega. Haagi-Visby reeglid Selle konventsiooni eesmärgiks oli limiteerida vedaja vastutust ja standardiseerida teda vastutusest vabastavaid klausleid, mida vedajad olid aegade jooksul tavaõigusena konossementidesse...
● KONOSSEMENT (BILL OF LADING)- Kaubaväärtpaber, milles vedaja tunnistab kauba transportimiseks vastuvõtmist, kohustub transportima kauba konossemendis kirjeldatud viisil lähtesadamast sihtsadamasse ning loovutama selle isikule, kes esitab konossemendi ja kellel on konossemendi alusel õigus kaupa vastu võtta. ● FIATA- MAANTEE ORGANISATSIOON Ülemaailmne Ekspedeerijate Assotsiatsioon. EEA on FIATA liige ja EEA liikmestaatuses ettevõtte võib taotleda FIATA assotsieerunud liikme staatust. ● IATA-ÕHUVEDU Rahvusvaheline Lennutranspordi Ühendus (International Air Transport Association, lühend IATA) on lennufirmade kaubandusühing. 240 lennufirmat, mis IATAsse kuuluvad, on peamiselt suured õhu teel vedajad. IATA toetab lennufirmade tegevust ning aitab sõnastada tööstuspoliitikat ja standardeid. IATA peakontor asub Kanadas Montrealis, administratiivkontori on Genfis. Selle prioriteetideks on ohutus, turvalisus, äri lihtsustami...
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
Sissejuhatus infotehnoloogiasse 2018 1. Nädal. bitt(b) = 1b, Bait(B) = 8b, kB = 1024 B, MB = 1024 kB jne 2. Nädal. Eksamiks: kreeka loogikud, süllogismid, induktsioon, deduktsioon, lausearvutus (pead mh oskama tõeväärtustabelit koostada), Pascal, Leibniz, perfokaardid, kangasteljed, Babbage, Hollerith, colossus ja saksa krüptomasinad, Turing, Shannon, Zuse, esimesed programmeeritavad arvutid. Küberkaitse termineid: (turvateater, malware, cookie, phishing, social engineering). Kreeka loogikud:Parmenides, -5. Saj, pikad loogilised põhjendused Zenon Eleast, -5. Saj, apooriad/paradoksid Sokrates, -5. Saj, sofistid Platon, -5,-4. Saj Aristoteles, -4. Saj, süllogismid, stoikud (1. eeldus: iga koer on imetaja. 2. eeldus: mõned neljajalgsed on koerad. järeldus: mõned neljajalgsed on imetajad.), Stoikud uurisid, kuidas saab loo...
kompetentsuse taset nende hulgas, kelle eest nad on vastutavad 3. Optimeerida ressursside kasutamist, mille eest nad vastutavad, et teenida oma tööandjale maksimaalset tulu 4. Hoiduda ebaausast konkurentsist 5. Tagada nii oma tööandja kui koostööpartnerite ärisaladuste konfidentsiaalsust 6. Lisaks ... eetikakoodeksile järgida Eesti Vabariigi seadusi, ..., juhtnööre professionaalse tegutsemise kohta, mis antakse välja ProLog poolt ning endale võetud lepingulisi kohustusi 1. Ärisaladus- Ärisaladuseks loetakse niisugune teave ettevõtja äritegevuse kohta, mille avaldamine teistele isikutele võib selle ettevõtja huve kahjustada, eelkõige oskusteavet puudutav tehniline ja finantsteave ning teave kulude hindamise metoodika, tootmissaladuste ja protsesside, tarneallikate, ostu-müügi mahtude, turuosade, klientide ja edasimüüjate, turundusplaanide, kulu- ja hinnastruktuuride
lihtsamaks, ise vaja välja mõelda) Rekursiooni ekvivalentsus tsükliga - kõike mida saab progeda while ja for tsükli abil, saab progeda rekursiooniga ja vastupidi lambda-arvutus - Lambda-arvutuse keel on Alonzo Churchi poolt 1930. aastatel leiutatud lihtne ja universaalne meetod funktsioonide kirjapanekuks. Churchi tees: mida saad mõnes keeles progeda, saad lambda arvutusese keeles kirja panna. Asendusmeetod. Prolog on esimene loogilise programmeerimise keel. Põhiidee on nõuda otsitava lahenduse kirjeldamist esimest järku predikaatarvutuse keeles, kusjuures Prolog-i süsteem sisaldab teatud tüüpi automaatset teoreemitõestajat, mis on võimeline lahendust automaatselt otsima ja tuletama. Siiski pole Prolog automaatse teoreemitõestamise süsteem. __________________________________________________________________ 11. nädal
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
λ EksamEksam 1 Eksamiks: pead teadma suuruse-numbreid ja mida nad tähendavad: bitt, bait, kilobait, megabait jne; Bit Eksam/ EksamBitt 1 or 0 Byte Eksam/ EksamBait 8 Bits Kilobait Eksam(KB) 1 024 Bytes Megabait Eksam(MB) 1 024 KB kuidas Eksamtähti Eksamkodeeritakse: ASCII (American Standard Code for Information Interchain) 8bit = 16 * 8 = 128 märki EBCDIC (Extended Binary Coded Decimal Interchange Code) 8bit, IBM UNICODE (Extended ASCII) (utf-8), 1Byte for first 128, up to 4B for the rest~143 859 märki algoritm Eksam- Eksamtäpne samm-sammuline juhend millegi tegemiseks programm Eksam- Eksamformaalses üheselt mõistetavas keeles kirja pandud algoritm Ajaloost: Kreeka Eksamloogikud Parmenides (5 sajand e.m.a.) : kasutas pikki loogilisi põhjendusi. Zen...
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
TALLINNA TEHNIKAÜLIKOOL Majandusteaduskond Ärikorralduse instituut Kinnisvara, logistika ja ettevõtluse õppetool Signe Luha GPS-TEHNOLOOGIA LOGISTIKAS Juhendaja: Tarvo Niine Tallinn 2009 SISSEJUHATUS Elame teatavasti infoajastul. Kõigi sooviks näib olevat saada kiiremini kaugemale kõrgemale vähima vaeva ja antud majanduslikus olukorras ka säästlikult. Säärased soovid on mõistagi ka logistikas. Logistika on selline valdkond, mis tegeleb igapäevaselt asjade ühest punktist teise toimetamisega ning selle planeerimisega. Seda kõike võimalikult kiirelt ja ökonoomselt. Vahendeid on mitmeid. Võib ajada näpuga järge teedekaartidelt ning arvutada lühimaid ja säästvamaid marsruute. Mobiilsidevõrgu olemasolu võimaldab juhtide käest auto asukoha ja kauba seisundi kohta järelpärimisi sooritada. Muidugi saab usaldada lihtsalt kogu ...
1625 - Schickard väitis,et tegi I liitev, lahutav, korrutav, 1978 – VAX11/780 , inteli 8086 mikropr;Raamat ”C 4.sumto ja c näited:1. eeldus: iga koer on imetaja.2. eeldus: jagav masin. programming language”. C (ja C++ ja Java ja C#) mõned neljajalgsed on koerad.järeldus: mõned neljajalgsed on imetajad. 1. eeldus: iga anarhist on int sumto(int n) { süsteemi vastane.2. eeldus: mõned poliitikud on 1640 - Blaise Pascal-aritmeetiline ...
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)
Kirjandusajaloo eksam. Del I Ni alla kommer att behöva ha särskilt god kännedom om utdraget ur "Frithiofs saga" av Tegnér som fanns med i kurslitteraturen. Skrivningen innehåller - 3 st. essäfrågor där längre svar förväntas, - ett antal frågor om begreppsdefinitioner, författarnamn och verktitlar (med olika många poäng beroende på hur mycket ni förväntas veta), - några utdrag ur texter som ni har läst och förväntas känna igen samt en lite svårare uppgift i anslutning till detta - ett antal uppgifter om tidigare okända texter. En sådan text förväntas ni kunna placera in i en litteraturhistorisk epok eller riktning, alternativt - kanske, i något fall - även knyta till en särskild författare. När det gäller de okända texterna är det god argumentation som ger poäng. Ett felaktigt svar med god, rimlig, textnära argumentation ger sålunda fler poäng än ett enstaka författarnamn utan argumentation Medeltiden Rundiktning, runstenar Stavrim, al...
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
A... AA Auto Answer AAA Authentication, Authorization and Accounting AAB All-to-All Broadcast AAC Advanced Audio Coding AACS Advanced Access Control System AAL Asynchronous Transfer Mode Adaption Layer AAM Automatic Acoustic Management AAP Applications Access Point [DEC] AARP AppleTalk Address Resolution Protocol AAS All-to-All Scatter AASP ASCII Asynchronous Support Package AAT Average Access Time AATP Authorized Academic Training Program [Microsoft] .ABA Address Book Archive (file name extension) [Palm] ABAP Advanced Business Application Programming [SAP] ABC * Atanasoff-Berry Computer (First digital calculating machine that used vacuum tubes) ABEND Abnormal End ABI Application Binary Interface ABIOS Advanced BIOS ABIST Automatic Built-In Self-Test [IBM] ABLE Adaptive Battery Life Extender + Agent Building and Learning Environment [IBM] ABM Asynchronous Balanc...
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