About
|
Help
Webster
Computer
Math
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Ha
Hb
Hc
Hd
He
Hf
Hg
Hh
Hi
Hj
Hk
Hl
Hm
Hn
Ho
Hp
Hq
Hr
Hs
Ht
Hu
Hv
Hw
Hx
Hy
Hz
HORN CLAUSE
Horn clause (n.) a clause that contains at most one conclusion.
Copyright © Mathematical Programming Glossary
Copyright © 2004-2009
ExOS group
Design —
Z-Vector
