Logiikka ohjelmointi
Looginen ohjelmointi on matemaattiseen logiikkaan perustuva ohjelmointiparadigma - siinä olevat ohjelmat määritellään loogisten lauseiden ja päättelysääntöjen muodossa. Tunnetuin logiikkaohjelmointikieli on Prolog .
Ensimmäinen looginen ohjelmointikieli oli Planer -kieli [1] , joka sisälsi mahdollisuuden johtaa automaattisesti tulos tiedoista ja annetut säännöt vaihtoehtojen luetteloimiseksi (jonka kokonaisuutta kutsuttiin suunnitelmaksi). Suunnittelijaa käytettiin vähentämään laskennallisia vaatimuksia (käyttäen backtracking -tekniikoita ) ja mahdollistamaan faktojen päättäminen ilman pinon aktiivista käyttöä . Sitten kehitettiin Prolog, joka ei vaatinut luettelointisuunnitelmaa ja oli tässä mielessä Planerin yksinkertaistus.
Planer synnytti myös loogiset ohjelmointikielet QA-4 , Popler , Conniver ja QLISP sekä Ether -kielen , jotka eivät käytä backtracking-menetelmää [1] . Kielet Mercury , Visual Prolog , Oz , Fril , Datalog perustuvat Prologiin.
Muistiinpanot
- ↑ 1 2 Ehud Shapiro. Samanaikaisten logiikkaohjelmointikielten perhe (englanti) // ACM Computing Surveys . - 1989. - Voi. 21 , iss. 3 . - s. 413-510 . doi : 10.1145 / 72551.72555 .
Kirjallisuus
- Ivan Bratko. Tekoälyalgoritmit kielellä PROLOG = Prolog Programming For Artificial Intelligence. - M . : " Williams ", 2004. - S. 640. - ISBN 0-201-40375-7 .
- Anatoli Adamenko, Andrei Kutšukov. Logic Programming ja Visual Prolog (CD:llä) . - Pietari. : " BHV-Petersburg ", 2003. - S. 990 . — ISBN 5-94157-156-9 .
- toim. V. N. Agafonov. Logiikka ohjelmointi. Yhteenveto artikkeleista. - M .: Mir , 1988. - S. 368. - 15 000 kappaletta. — ISBN 5-03-000972-8 .
- D. A. Pospelov . Päättelyn mallinnus. - M . : Radio ja viestintä , 1989. - S. 184. - 20 000 kappaletta. — ISBN 5-256-00183-3 .
Linkit
- Logic Programming Virtual Library -merkintä
- Bibliografiat logiikkaohjelmoinnista
- Association for Logic Programming (ALP )
- Logiikkaohjelmoinnin teoria ja käytäntö -lehti
 |
| |||
|---|---|---|---|---|