SICStus Prolog—The first 25 years
From MaRDI portal
Publication:2893089
DOI10.1017/S1471068411000482zbMath1244.68016arXiv1011.5640MaRDI QIDQ2893089
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
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
Cites Work
This page was built for publication: SICStus Prolog—The first 25 years