Anonymous user
User:Shyam Has Your Anomaly Mitigated: Difference between revisions
User:Shyam Has Your Anomaly Mitigated (view source)
Revision as of 10:28, 7 March 2019
, 5 years ago→Prolog
(→Prolog) |
(→Prolog) |
||
Line 67:
12019 is the year of Prolog; my goals to satisfy are [https://github.com/radical-lab/rpg planning, chatbots, games, intelligence], and an implementation; also translating/transforming/converting/.. from A to B, and getting B to A for free, is not only applicable to languages, but also file formats, units of measurement, orders of magnitude, systems, and "-thing"s.
* The "-thing"s logic programming makes possible, and trivial.
** [https://en.wikipedia.org/wiki/Modus_ponens theorem proving] <code>/impossibility|falsified realities/</code>
** [https://en.wikipedia.org/wiki/Reversible_computing#Physical_reversibility n-way functions] <code>/impossibility|reusability|producer(-consumer)?/</code>
** [https://en.wikipedia.org/wiki/Search_problem#Objective automated searching] <code>/permutation filters|filtered permutations|bruteforce optimisation/</code>
|