|
|
|
|
|
|
by llsf
598 days ago
|
|
|
Same Prolog, and particularly Lambda Prolog literally blew my mind. I could (physically) feel my brain, trying to think differently about the problem to solve. It was an experience.
I need to retake that course (was 20 years ago...). I also wonder if/how AI could leverage lambda prolog to prove things. |
|
|