Documents

M. Carlsson. On Compiling Indexing and Cut for the WAM. Swedish Institute of Computer Science, Report R86011B, December 18, 1986. by Paul McJones — last modified 2019-08-12 09:53

M. Carlsson. On Compiling Indexing and Cut for the WAM. Swedish Institute of Computer Science, Report R86011B, December 18, 1986.

Mats Carlsson. An Implementation of dif and freeze in the WAM. Research Report R86012, Swedish Institute of Computer Science, December 18, 1986. by Paul McJones — last modified 2019-08-12 09:58

Mats Carlsson. An Implementation of dif and freeze in the WAM. Research Report R86012, Swedish Institute of Computer Science, December 18, 1986.

Mats Carlsson. SICStus Prolog User’s Manual, version 0.7. 19 November 1991. by Paul McJones — last modified 2022-09-24 17:23

Mats Carlsson. SICStus Prolog User’s Manual, version 0.7, Swedish Institute of Computer Science, 19 November 1991. This manual corresponds to SICStus version 0.7 patch level #7.

Original Texinfo file for Mats Carlsson. SICStus Prolog User’s Manual, version 0.7. by Paul McJones — last modified 2022-09-24 17:28

Mats Carlsson. SICStus Prolog User’s Manual, version 0.7, Swedish Institute of Computer Science, 19 November 1991. This manual corresponds to SICStus version 0.7 patch level #7. Original Texinfo file.

Patched Texinfo file for SICStus Prolog User’s Manual, version 0.7. by Paul McJones — last modified 2022-09-24 17:28

Mats Carlsson. SICStus Prolog User’s Manual, version 0.7, Swedish Institute of Computer Science, 19 November 1991. This manual corresponds to SICStus version 0.7 patch level #7. Patched Texinfo file

M. Carlsson and J. Widén. SICStus Prolog User's Manual. SICS Research Report, R88007, 20 February1988. by Paul McJones — last modified 2023-07-20 10:52

M. Carlsson and J. Widén. SICStus Prolog User's Manual. SICS Research Report, R88007, 20 February1988. (Courtesy of Ulrich Neumerkel.)