ann: THORN 14

34 views
Skip to first unread message

dr.mt...@gmail.com

unread,
Jun 3, 2025, 5:51:14 AMJun 3
to Shen
THORN is restored and improved.  Look to the Learn page.  Specifically timout
given as an option and proof procedure changed to allow the solution of some
FOL problems that previous versions could not solve.  

The missing code revolves around standardisation apart and flexible Prolog variables
but I won't go into details here.

Mark
Reply all
Reply to author
Forward
0 new messages