SICStus Prolog—The first 25 years

DOI10.1017/S1471068411000482zbMath1244.68016arXiv1011.5640MaRDI QIDQ2893089

Per Mildner, Mats Carlsson

Publication date: 25 June 2012

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1011.5640

zbMATH Keywords

memory managementvirtual machinePrologcompilerslogic programming system

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17) History of computer science (68-03)

Related Items (11)

Making ProB Compatible with SWI-Prolog ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ Concolic testing in logic programming ⋮ Constraint answer set solver EZCSP and why integration schemas matter ⋮ A Prolog assisted search for new simple Lie algebras ⋮ Logic + control: On program construction and verification ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Backjumping is Exception Handling ⋮ View-based propagator derivation ⋮ A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Uses Software

• SPARK
• SICStus

Cites Work

• Unnamed Item
• A nonrecursive list compacting algorithm

This page was built for publication: SICStus Prolog—The first 25 years