The last post in this Reddit conversation (https://www.reddit.com/r/prolog/comments/11injwi/introducing_pyreason_open_world_temporal_logic/?rdt=45525) the responder says
'''
In our view, annotated logic/PyReason and Prolog are two different things designed for different purposes.
'''
Are there references that expand on this? In particular, what typical problems can PyReason handle that Prolog can not, and vice versa? (I have read the PyReason papers and watched the videos.)