The following pages link to Guarded horn clauses (Q5044782):
Displaying 7 items.
- (Q3830519) (← links)
- (Q4226991) (← links)
- Role of logic programming in the FGCS project (Q5096224) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
- On the expressiveness and efficiency of guarded lists in Bach (Q6643471) (← links)