PDC prolog version 3.20. - User's Guide (PDC)