Standartlar
ISO/IEC 13211-1:1995 Information technology — Programming languages — Prolog — Part 1: General core
ISO/IEC 13211-2:2000 Information technology — Programming languages — Prolog — Part 2: Modules
Adabiyotlar
Anatoliy Adamenko, Andrey Kuchukov. Mantiqiy dasturlash va Visual Prolog (CD bilan). - SPb .: BHV-Peterburg, 2003 .-- 990 b. - ISBN 5-94157-156-9. Ivan Bratko. PROLOG = Sun'iy intellekt uchun prolog dasturlash tilidagi sun'iy intellekt algoritmlari.
M .: Uilyams, 2004 .-- 640 b. - ISBN 0-201-40375-7. Karpov Yu.G. Avtomatlar nazariyasi. - SPb, 2003 .-- 206 b. - ISBN 5-318-00537-3.
Markov V.N.Visual Prolog 7.5 tilida zamonaviy mantiqiy dasturlash: darslik. - SPb .: BHV-Peterburg, 2016 .-- 544 b. - ISBN 978-5-9775-3487-1
J. Mallas Relyatsion til prologi va uning qo‘llanilishi. M .: Nauka, 1990 .-- 464 b. - ISBN 5-02-014509-2.
Dostları ilə paylaş: |