Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

ตัวอย่างต่อเนื่อง

ตัวอย่างที่สอง:
@forAll x, y, z.
{  x wrote y.
 y log:includes {z weather w}.
 x livesIn z
} log:implies {
 Boston weather y
}.
ร่วมกับข้อมูล:
Bob   livesIn  Boston.
Bob   wrote    { Boston weather sunny }.
Alice livesIn  Adelaide.
Alice wrote   { Boston weather cold }.
เฟ้นสามารถสรุป:
Boston weather sunny.

Speaker notes:

Content Tools