The following pages link to (Q4873717):
Displayed 14 items.
- Defining Actions in Concurrent Declarative Programming (Q2841291) (← links)
- Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (Q3003493) (← links)
- (Q4499255) (← links)
- (Q4499257) (← links)
- (Q4499271) (← links)
- Logic programming as a service (Q4559833) (← links)
- Default rules for Curry (Q4593082) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)
- Backjumping is Exception Handling (Q4957217) (← links)
- Automated modular termination proofs for real Prolog programs (Q5030196) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- A relaxed condition for avoiding the occur-check (Q6076347) (← links)
- Typed SLD-resolution: dynamic typing for logic programming (Q6103019) (← links)