varranvar · HackerTrans

3 tahun yang laludiscuss

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 tahun yang laludiscuss

miniKanren is not nearly as efficient as Prolog though.

varranvar

5 tahun yang laludiscuss

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