4 ms·
You can of course do answer set programming in prologs too. https://ciao-lang.org/playground/scasp.html https://ciao-lang.org/playground/scasp.html
by Avshalom 4y ago
You can of course do answer set programming in prologs too.
https://ciao-lang.org/playground/scasp.html https://ciao-lang.org/playground/scasp.html
- YeGoblynQueenne 4y agoAnd that is so much better because it's executed top-down, with unification like in Prolog, and so it doesn't have to ground the entire Herbrand base and make little kittens called Skolem cry.