Abductive logic programming: Difference between revisions

Content deleted Content added
m amount(glucose,->amount (glucose, - Fix a typo in one click
Tags: Mobile edit Mobile web edit Advanced mobile edit
m amount(glucose,->amount (glucose, - Fix a typo in one click
Tags: Mobile edit Mobile web edit Advanced mobile edit
Line 81:
 
: <math>\begin{cases}
\Delta_1=\{\text{amount(lactose, hi), amount (glucose, low)}\}
\\
\Delta_2=\{\text{amount(lactose, medium), amount (glucose, medium)}\}
\end{cases}</math>