ann: THORN 14

34 views

Skip to first unread message

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