computational logic with light