The following pages link to SICStus Prolog—The first 25 years (Q2893089):
Displayed 11 items.
- View-based propagator derivation (Q2342586) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming (Q2867959) (← links)
- Concolic testing in logic programming (Q4593010) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- Backjumping is Exception Handling (Q4957217) (← links)
- Making ProB Compatible with SWI-Prolog (Q5038477) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- A Prolog assisted search for new simple Lie algebras (Q6203472) (← links)