язык логического типа

Logic-type language