SWI-Prolog.

MLA

Wielemaker, Jan, et al. “SWI-Prolog.” Theory & Practice of Logic Programming, vol. 12, no. 1/2, Jan. 2012, pp. 67–96. EBSCOhost, https://doi.org/10.1017/S1471068411000494.

APA

Wielemaker, J., Schrijvers, T., Triska, M., & Lager, T. (2012). SWI-Prolog. Theory & Practice of Logic Programming, 12(1/2), 67–96. https://doi.org/10.1017/S1471068411000494

Chicago

Wielemaker, Jan, Tom Schrijvers, Markus Triska, and Torbjörn Lager. 2012. “SWI-Prolog.” Theory & Practice of Logic Programming 12 (1/2): 67–96. doi:10.1017/S1471068411000494.