Warning: session_start(): open(/var/lib/php/sessions/sess_01nfhc3i1ajj99bfpars4evtd2, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sS ai_weightChangeBot_theory() {
ret [[
import math
theory validity {
// a human weighs between 80 and 400 pounds
$x is a human
& $x weighs ($y pounds)
=> $y >= 80 & $y <= 400
contradiction => say (That can't be right)
}
theory (weight change) {
$x weighs ($y pounds)
& last time $x weighed ($z pounds)
=> proc {
if ($y < $z):
say (You lost weight)
else if ($y > $z):
say (You gained weight)
else:
say (You are stagnant)
}
}
theory (remember last weight) {
$x weighs ($y pounds)
=> proc {
unless contradiction:
delete all (last time $x weighed ($z pounds))
store (last time $x weighed ($y pounds))
}
}
theory (interpret input) {
$x says (i weigh $y pounds)
=> $x weighs ($y pounds)
$x says (my weight is $y pounds)
=> $x weighs ($y pounds)
}
]];
}