2 ms·

"almost all of logic programming actually stems from Prolog" Why isn't Prolog on the list then?? :O

• detaro 7y ago
  is Prolog deader than the logic programming systems stemming from it? The field seems fairly niche overall, but from the limited insight I have Prolog seems to be still around?
  • mkchoi212 7y ago
    My thought was that prolog is now mostly used in colleges around the world to teach students basic concepts within AI. Correct me if I'm wrong though. Would love to see examples where Prolog is used in real life!
    • detaro 7y ago
      Academic work certainly seems to still use it, and I've seen it once or twice for "business rule" type stuff. That's not much, but I can't remember much else in this direction either. I guess constraint solvers like Z3 are in the same category kind of(?), but I don't know if/how their syntaxes are related.