definite clause A {Horn clause} that has exactly one {positive literal}. (2000-01-24)
版權所有 © 2024 3Dict.net