> The six simple building blocks: variables, states, and the four kinds of goal — make two values equal, provide local variables to an existing goal, pursue two existing goals separately, and pursue two existing goals together.
> The only data structure is a pair. We can create lists using pairs.
> The six simple building blocks: variables, states, and the four kinds of goal — make two values equal, provide local variables to an existing goal, pursue two existing goals separately, and pursue two existing goals together.
> The only data structure is a pair. We can create lists using pairs.
I'll play with it more.
I have a port of https://github.com/dananau/GTPyhop and planner systems feel related to relation programming