news.volyx.in

Can logic programming be liberated from predicates and backtracking? [pdf] (www-ps.informatik.uni-kiel.de)

197 points by matt_d · 665 days ago · 97 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.