Use "predicate logic pl" in a sentence

1. Kowalski was one of the developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates.

Ковальский был одним из первых разработчиков абдуктивной логики программирования, где логические программы дополнены ограничениями целостности и с неопределенными, абдуктивними предикатами.

2. Thus the same core logic can be made to generate 32-bit or 128-bit hashes.

Таким образом, одна и та же основная логика может быть применена для генерации 32 или 128-битных хешей.

3. Abbreviations: D, Director; P, Professional; GS (OL), General Service (Other level); GS (PL), General Service (Principal level); RB, regular budget; SA, peacekeeping support account.

Сокращения: ВР — высший разряд; ВС — вспомогательный счет; Д — категория директоров; ОО — категория общего обслуживания; РБ — регулярный бюджет; ПР — прочие разряды; С — категория специалистов.

4. Abbreviations: D, Director; P, Professional; GS (OL), General Service (Other level); GS (PL), General Service (Principal level); RB, regular budget; SA, peacekeeping support account

Сокращения: ВР- высший разряд; ВС- вспомогательный счет; Д- категория директоров; ОО- категория общего обслуживания; РБ- регулярный бюджет; ПР- прочие разряды; С- категория специалистов

5. Abbreviations: RB: regular budget; Other assessed: support account for peacekeeping operations; XB: extrabudgetary; GS (PL): General Service (Principal level); GS (OL): General Service (Other level).

Сокращения: РБ — регулярный бюджет; прочие начисленные взносы — вспомогательный счет для операций по поддержанию мира; ВР — внебюджетные ресурсы; ОО (ВР) — категория общего обслуживания (высший разряд); ОО (ПР) — категория общего обслуживания (прочие разряды).

6. If the people who use such logic see everything that happens between our countries and in the world from the perspective of Russia's guilt a priori, then no dialogue can probably be expected to take place.

Если все, что происходит между нашими странами и в мире в целом, люди, которые проповедуют такую логику, рассматривают через призму вины России во всем и вся, тогда, наверное, не приходится ожидать никакого диалога.