fork download
copy 
  1. road(durango,redville).
  2. road(redville,durango).
  3. road(redville,hardwick).
  4. road(hardwick,redville).
  5. road(hardwick,newton).
  6. road(newton,hardwick).
  7. road(newton,burr).
  8. road(burr,newton).
  9. road(newton,hallsburg).
  10. road(hallsburg,newton).
  11. road(newton,burlington).
  12. road(burlington,newton).
  13. road(hallsburg,burlington).
  14. road(burlington,hallsburg).
Success #stdin #stdout 0.02s 6204KB
comments (?)
stdin
copy 
road(burr, First), road(First, Second), Second \= burr, format('~w can be visited in two hops from burr through ~w.\n', [Second, First]), fail.
stdout
copy 
hardwick can be visited in two hops from burr through newton.
hallsburg can be visited in two hops from burr through newton.
burlington can be visited in two hops from burr through newton.
https://ideone.com/CRgZi
language:
Prolog (swi 7.6.4)
created:
14 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!