Encyclopedia of Machine Learning

2010 Edition
| Editors: Claude Sammut, Geoffrey I. Webb


Reference work entry
DOI: https://doi.org/10.1007/978-0-387-30164-8_116
A clause is a logical rule in a  logic program. Formally, a clause is a disjunction of (possibly negated) literals, such as
$$grandfather(x,y) \vee \neg father(x,z) \vee \neg parent(z,y).$$
This is a preview of subscription content, log in to check access.

Copyright information

© Springer Science+Business Media, LLC 2011