“Пролог” тілінің атауы ЛОГикалық ПРОграммалау сөздерінен шыққан (PROgrammation en LOGique - француз нұсқауында жəне и PROgramming in LOGic – ағылшын тілінде).
Пролог предикаттарды есептеу сияқты математикалық логика бөлімінде негізделген.
Дəлірек айтқанда, хронолық дизъюнкт революциялық əдіс теоремасының дəлелдеу процедурасы оның базисін құрайды.
Бүгінгі күні Прологтың көп өндірулері бар. Ең белгілі болғандары келесілер:
BinProlog, AMZI-Prolog, Arity Prolog, CProlog, Micro Prolog, МПролог, Prolog-2, Quintus Prolog, SICTUS Prolog, Silogic Knowledge Workbench, Strawberry Prolog, SWI Prolog, UNSW Prolog жəне т.б.
Достарыңызбен бөлісу: |
