Pages that link to "Item:Q2893099"
From MaRDI portal
The following pages link to The language features and architecture of B-Prolog (Q2893099):
Displayed 12 items.
- Search combinators (Q487659) (← links)
- Redundant disequalities in the Latin square problem (Q2348538) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- Top-down and Bottom-up Evaluation Procedurally Integrated (Q4559824) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Tabling as a library with delimited control (Q4592987) (← links)
- Tabling with Sound Answer Subsumption (Q4593070) (← 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)
- A practical analysis of non-termination in large logic programs (Q5398306) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)