🚀 go-pugleaf

What is the point of using Prolog if you don't backtrack?
All you have is some syntactic sugar for a subset of functional
languages (i.e. instead of fun f(pat1) = f(g(h(p))) | f(pat2) = [];
you have f(pat1,q) :- h(p,p1),g(p1,p2),f(p2,q).
         f(pat2,[])

instead of fun f(x) = if a(x) then b(x) else c(x)
you have f(x,y) :- a(x),!,b(x,y).
         f(x,y) :- c(x,y). ).

The comparisons that are being made seem to be for
non-backtracking problems.

If backtracking is important, then comparisons should be made
with examples where Prolog backtracks. If it isn't, all we are
saying is that Prolog has a nicer sugar coating than its
rivals, but this sugar coating doesn't (as you might suppose)
hide any nasty-tasting inefficiency.

Matthew Huntbach