Report - SWI-Prolog 5mgv/csce330f15/prolog/SWIRefman_5p6.pdf · SWI-Prolog is a Prolog implementation based on a subset of the WAM (Warren Ab- stract Machine). SWI-Prolog was developed as

Please pass captcha verification before submit form