varranvar · HackerTrans

3 yıl öncediscuss

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 have any information you can share about the polynomial time algorithm?

varranvar

3 yıl öncediscuss

miniKanren is not nearly as efficient as Prolog though.

varranvar

5 yıl öncediscuss

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 entry and about 4 minutes if I'm doing all the entries at once.

comments