Today most Prolog implementations include one or more libraries for constraint logic programming.
Данас већина имплементација Prolog-а укључује једну или више библиотека за принудно логичко програмирање.