Content deleted Content added
Undid revision 927221894 by Eric EC Castillo (talk) not sure what the intent was here, but it broke the page |
m →Example 3: +spaces for readability |
||
Line 62:
; Domain knowledge (P)
: <source lang="prolog">
feed(lactose) :- make(permease), make(galactosidase).
make(Enzyme) :- code(Gene, Enzyme), express(Gene).
express(lac(X)) :- amount(glucose, low), amount(lactose, hi).
express(lac(X)) :- amount(glucose, medium), amount(lactose, medium).
code(lac(y), permease).
code(lac(z), galactosidase).
temperature(low) :- amount(glucose, low).
</source>
; Integrity constraints (IC)
: <source lang="prolog">
false :- amount(S, V1), amount(S, V2), V1 ≠ V2.
</source>
; Abducibles (A)
| |||