B prolog. Пролог программирование. язык пролог. язык пролог пример программы. swi prolog.