Report - SWI-Prolog 3 - University of Western Australia · SWI-Prolog is a Prolog implementation based on a subset of the WAM (Warren Abstract Machine). SWI-Prolog was developed as an ‘open’

Please pass captcha verification before submit form