Hla Hla Htay's Notes

   solve(true).
   solve((A,B)):- solve(A),solve(B).
   solve(A):- clause(A,B),solve(B).

Code (mathtext)
[pmath size=16](a+b)^2=a^2+2ab+b^2[/pmath]

where:
[pmath size=12]~a[/pmath] is defined as a
[pmath size=12]~b[/pmath] is defined as b