Article contents
On definite program answers and least Herbrand models
Published online by Cambridge University Press: 03 May 2016
Abstract
A sufficient and necessary condition is given under which least Herbrand models exactly characterize the answers of definite clause programs.
- Type
- Regular Papers
- Information
- Copyright
- Copyright © Cambridge University Press 2016
References
- 1
- Cited by