The following pages link to Canonical logic programs (Q3721789):
Displayed 6 items.
- Protected completions of first-order general logic programs (Q911800) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- Transforming normal logic programs to constraint logic programs (Q1200979) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- Left termination turned into termination (Q1318730) (← links)
- Definite clause programs are canonical (over a suitable domain) (Q1356204) (← links)