The following pages link to SICStus (Q24368):
Displaying 41 items.
- Intelligent data retrieval in prolog: An illuminating idea (Q3128636) (← links)
- Integrating Finite Domain and Set Constraints into a Set-based Constraint Language (Q3400565) (← links)
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (Q3434630) (← links)
- Graph Invariants as Necessary Conditions for Global Constraints (Q3524167) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- Test Data Generation of Bytecode by CLP Partial Evaluation (Q3617426) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- (Q4258623) (← links)
- The execution algorithm of mercury, an efficient purely declarative logic programming language (Q4339846) (← links)
- Experience with the Super Monaco optimizing compiler (Q4339853) (← links)
- Detection and optimization of suspension-free logic programs (Q4339855) (← links)
- Directional types and the annotation method (Q4371987) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- (Q4475677) (← links)
- (Q4499255) (← links)
- (Q4499257) (← links)
- (Q4499259) (← links)
- (Q4499264) (← links)
- Derivation of feasibility conditions in engineering problems under parametric inequality constraints with classical Fourier elimination (Q4506060) (← links)
- (Q4518437) (← links)
- Pair-sharing over rational trees (Q4520179) (← links)
- (Q4549385) (← links)
- Concolic testing in logic programming (Q4593010) (← links)
- Description and Optimization of Abstract Machines in a Dialect of Prolog (Q4593018) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- Solving distributed constraint optimization problems using logic programming (Q4593098) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- Two loop detection mechanisms: A comparison (Q4610326) (← links)
- On applying or-parallelism and tabling to logic programs (Q4673543) (← links)
- Solving nesting problems with non-convex polygons by constraint logic programming (Q4814103) (← links)
- (Q4878773) (← links)
- Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations (Q4923517) (← links)
- Backjumping is Exception Handling (Q4957217) (← links)
- (Q5020651) (← links)
- Making ProB Compatible with SWI-Prolog (Q5038477) (← links)
- From Rules to Constraint Programs with the Rules2CP Modelling Language (Q5191407) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Q5713877) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900288) (← links)
- Blackboard relations in the \(\mu\text{Log}\) coordination model (Q5929095) (← links)
