Prolog (dasturlash tili)

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.