The functional side of logic programming
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Understanding Memory Management in Prolog Systems
Proceedings of the 17th International Conference on Logic Programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Hi-index | 0.00 |
This manual describes a Prolog system developed at the Swedish Institute of Computer Science. Parts of the system were developed by the project ``Industrialization of SICStus Prolog'''' in collaboration with Ericsson Telecom AB, NobelTech Systems AB, Infologics AB and Televerket. The system consists of a WAM emulator written in C, a library and runtime system written in C and Prolog and an interpreter and a compiler written in Prolog.