The YAP Prolog System

Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s1471068411000512