4 ms·
This actually sounds very Prologesque. "Here, have some inputs. From those, find me the ones that satisfy this goal."
by phoe-krk 8y ago
This actually sounds very Prologesque.
"Here, have some inputs. From those, find me the ones that satisfy this goal."
- User23 8y agoAMB is a very handy primitive to implement prolog.
- dragontamer 8y agoHmmm... AMB probably is sufficient for a toy version of Prolog. I feel like anyone actually implementing prolog will need to fully understand horn logic. AMB is a useful operator when the specifics of the backtracking search can be abstracted away. But an "actual" prolog implementation needs to have a well-defined depth-first search over the horn-logic clauses. There are a lot of optimizations to make horn-logic solvers way faster.