3 ms·
Looks like it's more like Datalog than full Prolog. [0] You are probably using something similar to what is called the "semi-naive" evaluation strategy (which
by ScottBurson 11y ago
Looks like it's more like Datalog than full Prolog. [0] You are probably using something similar to what is called the "semi-naive" evaluation strategy (which despite the disparaging-sounding name is actually pretty good).
[0] https://en.wikipedia.org/wiki/Datalog https://en.wikipedia.org/wiki/Datalog
- rwmj 11y agoYes, I think you're right. I'm really exploring this for the first time since university, and I don't have any real formal basis for what I'm doing. Just a real world problem to solve.