Learn prolog now
  https://www.let.rug.nl/bos/lpn//lpnpage.php?pageid=online

Simply Logical
  https://github.com/simply-logical/simply-logical/releases/tag/v1.0

The power of prolog
  https://www.metalevel.at/prolog

the cat frightened the dog near the door