Viewing profile — varranvar

I'm working on an inductive logic programming algorithm, and from my understanding the search space for logic programs is just as vast as other types of program synthesis. Do you h…

miniKanren is not nearly as efficient as Prolog though.

I use a text file where entries have a start timestamp, end timestamp, and a description. I have a macro to automatically enter the timestamps. It takes about 5 seconds to make an …