Commit 04c71e7fb628c54453445445954d5a4df1db633e - Samovar - git @ Cat's Eye Technologies

git @ Cat's Eye Technologies Samovar / 04c71e7

This is actually pretty important and we should implement it. Chris Pressey 6 years ago

1 changed file(s) with 6 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

+6

-1

README.md less more

47	47
48	48	[Hoare logic]: https://en.wikipedia.org/wiki/Hoare_logic
49	49
	50	### TODO
	51
	52	* Implement a simple equality rule, `eq(?X,?X)`, as a built-in.
	53	This is basically necessary to stop characters from talking to
	54	themselves, nodding to themselves, ET CETERA.
	55
50	56	### TODO for v0.3
51	57
52	58	* Consider what it would take to add a predicate that evaluates to whether
53	59	a given action has been taken previously or not.
54	60	* Consider macros.
55		* Consider a simple equality rule, `eq(?X,?X)` but built-in.
56	61	* Consider a "wildcard" variable that will match anything without binding it.
57	62	* Consider making "wildcard" work such that you can say `¬holding(?_, club)`
58	63	to mean "if no one is holding the club".