!rant
Backward chaining algorithm in less than 20 lines, any bidder?

I read "blockchain algorithm" Oo

@Fast-Nop lol, i just noticed that, damn it "blockchain" everywhere

@irene hmmm didn't hear of that one as far as i can remember, my algo was just a "mini-project" AI teacher gave us, it's about expert systems... Anyway that sounds interesting, can you explain the riddle?

@irene yep it should solve it, in fact im gonna put to the test and see

@irene did it in python, so no, one statement, one line

@irene i heard of that, but the teacher is too lazy and a big asshole to let us use whatever tool we want, he said "do it in c or java only" (since he just copy/paste problems with solutions from the ancient history of other universities, got in a fight to finally use python

@irene he doesn't care since he has the solution (that i bet he doesn't even understand)

@irene i will for sure if he gives it to us

Bool backward(array<truth> truths, array<rule> rules, hypothesis) {
Bool result = false;

// Check if hypotesis is true
For(truth:truths)
If (truth(hypotesis))
Return true;

For(rule:rules)
If(rule.isThen(hypothesis))
// Remove rule to avoid circular logic
If (Result = backward(truths, rules.remove(rule), rule.getIs()))
Return true;
Return result;
}

Sorry for:
Phone
Coding something i just read for 5 minutes about
Not knowing terminology
Bad coding

@ravijojila coooooool