varranvar

3 ms·

1. 1.▲
   by varranvar 3y ago

   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
2. 2.▲
   by varranvar 3y ago

   miniKanren is not nearly as efficient as Prolog though.
3. 3.▲
   by varranvar 5y ago

   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