search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: Don't treat Is_Parent_Of as a syntactic sugar. #124

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

By implementing a clause for Is_Parent_Of in our SeLFiE interpreter, we can achieve a big performance improvement, I guess.

yutakang commented 4 years ago

Maybe I can leave it as it is now because the overall performance of the SeLFiE interpreter is not so bad anymore?

yutakang commented 4 years ago

No.. we should still strive to improve the performance, as generalisation heuristics tend to be pretty heavy.

yutakang commented 4 years ago

done