Sather also kind of has it with iterators.
-
-
-
Sather is an underappreciated and under-publicized programming language. It had a bit of a heyday but fell off the radar too quickly.
End of conversation
New conversation -
-
-
Prolog has search (unification and resolution) and either succeeds or fails. “true” in Prolog is a predicate that always succeeds. Success is represented by a set of zero or more variable bindings whose values cause resolution to succeed. Backtracking finds or or more solutions.
-
In particular "goal-directed" in Prolog means "SLD resolution" which boils down to "top-down, left-to-right search of the premises for a goal" https://en.m.wikipedia.org/wiki/SLD_resolution …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!