iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://www.semanticscholar.org/search?q=Towards a Logical Semantics for Pure Prolog.