Programare logica
Programarea logică este o paradigmă de programare bazată pe logica matematică - programele din ea sunt specificate sub formă de declarații logice și reguli de inferență. Cel mai cunoscut limbaj de programare logica este Prolog .
Primul limbaj de programare logic a fost limbajul Planer [1] , care includea posibilitatea de a deriva automat un rezultat din date și regulile date pentru enumerarea opțiunilor (a căror totalitate se numea plan). Planificatorul a fost folosit pentru a reduce cerințele de calcul (folosind tehnici de backtracking ) și pentru a permite deducerea faptelor fără utilizarea activă a stivei . Apoi a fost dezvoltat Prolog, care nu necesita un plan de enumerare și a fost, în acest sens, o simplificare a Planerului.
Planer a dat naștere și limbajelor de programare logică QA-4 , Popler , Conniver și QLISP , precum și limbajului Ether , care nu folosesc metoda backtracking [1] . Limbile Mercury , Visual Prolog , Oz , Fril , Datalog se bazează pe Prolog.
Note
- ↑ 1 2 Ehud Shapiro. Familia de limbaje de programare logică simultană (engleză) // ACM Computing Surveys . - 1989. - Vol. 21 , iss. 3 . - P. 413-510 . doi : 10.1145 / 72551.72555 .
Literatură
- Ivan Bratko. Algoritmi de inteligență artificială în limbajul PROLOG = Prolog Programming For Artificial Intelligence. - M . : " Williams ", 2004. - S. 640. - ISBN 0-201-40375-7 .
- Anatoly Adamenko, Andrey Kuchukov. Programare logică și Prolog vizual (cu CD) . - Sankt Petersburg. : " BHV-Petersburg ", 2003. - S. 990 . — ISBN 5-94157-156-9 .
- ed. V. N. Agafonov. Programare logica. Rezumat de articole. - M .: Mir , 1988. - S. 368. - 15.000 exemplare. — ISBN 5-03-000972-8 .
- D. A. Pospelov . Modelarea raționamentului. - M . : Radio şi comunicare , 1989. - S. 184. - 20.000 exemplare. — ISBN 5-256-00183-3 .
Link -uri
- Intrare în Biblioteca virtuală de programare logică
- Bibliografii despre programarea logică
- Asociația pentru programare logică (ALP )
- Revista Teoria și Practica Programarii Logice
 |
| |||
|---|---|---|---|---|