(no subject)

Date: 2024-08-22 02:41 am (UTC)
vivdunstan: Part of own photo taken in local university botanic gardens. Tree trunks rise atmospherically, throwing shadows from the sun on the ground. (Default)
From: [personal profile] vivdunstan
Belatedly replying to say I've read the open access paper now. And as I did I was really wondering how that fuzzy unification matching based on predicate names could work to produce reliable results for the purposes sought. Though to be fair it's 30+ years since I studied theorem proving and Prolog with Roy Dyckhoff! However I am a bit encouraged by your comments above. I maybe wasn't completely losing the plot. I'd be interested to see any future writeup re the version using Isabelle. Thanks for the interesting read!
This account has disabled anonymous posting.
(will be screened if not validated)
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting

Loading anti-spam test...

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

July 2025

S M T W T F S
   12 3 4 5
6789101112
13141516171819
20212223242526
2728293031  

Tags

Style Credit

Expand Cut Tags

No cut tags