Warning: session_start(): open(/var/lib/php/sessions/sess_dmh8s4tcograuan6s3j7nshunf, 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
!7
concept PNGFile {}
sS questions = [[
Is your product software?
Is your product hardware?
Is your product a fluffy penguin?
]];
sS facts = [[
My product is a C compiler
A C compiler is software
]];
sS rules = [[
Always: (Q: Is your product X?) & (My product is Y) & (Y is X) => A: Yes
Always: (Q: X) & (There is no statement with operator nywfcwkkcknzhmdy.) => A: I don't know
anmjmlkwmjbzbiss - Always: X
ufzlismnlhvbjqoj - (X) and (Y) and (Z) and (AA) and (AB) => (AC)
phkdhqkhzytkwdpb - (X) and (Y) and (Z) and (AA) => (AB)
cntevdawguaaxqmn - (X) and (Y) and (Z) => (AB)
eijdjqhyzheusetj - (X) and (Y) and (Z) => (AA)
jkbzwuwirpbvfzhy - (X) & (Y) & (Z) => AA
mwpbetwhkuuuupws - X and Y and Z => AA
txsysipmstxmjhmi - (X) and (Y) => (Z)
cuutddpitkuswthu - While (X) => (Y)
kecvwixuouqlpzhu - (X) and (Y) => Z
tusgcjefvtgebzba - (X) & (Y) => Z
wziyypnyayfphdxs - (X) => (Y)
chkfkshhwshoauan - X => Y
mcoswmplpqlieruo - (X)
zhoulgsatpswstfa - There is no statement with operator X.
vouwrrhtmajsgaby - Q: X
nywfcwkkcknzhmdy - A: X
ypenmdohuvmyfabd - Is your product X?
wcwlqvvrpdwjzfms - X is Y
kxlzhendchftgjqh - No X where (Y)
zhahnerfmvfdqkxd - It's X
zqxoghyhhhfgziob - I don't know
]];
p {
myTruthNonPersist(facts + rules);
lispSolveQuestionsVerbose(questions);
}