The following pages link to Guarded horn clauses (Q5044782):
Displayed 4 items.
- 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)