Por esta razón, una biblioteca relativamente pequeña de predicados basta para muchos programas en Prolog.