Abductive logic programming: Difference between revisions

Revision as of 08:05, 17 August 2015

Revision as of 06:55, 22 January 2016

Line 61:

Domain knowledge (P)

<source lang="prolog">

feed(lactose):-make(permease),make(galactosidase).<br />

make(Enzyme):-code(Gene,Enzyme),express(Gene).<br />

express(lac(X)):-amount(glucose,low),amount(lactose,hi).<br />

express(lac(X)):-amount(glucose,medium),amount(lactose,medium).<br />

code(lac(y),permease).<br />

code(lac(z),galactosidase).<br />

temperature(low):-amount(glucose,low).

</source>

Integrity constraints (IC)