Fwd: Genifer 3.0 white paper
22 views
Skip to first unread message
YKY (Yan King Yin, 甄景贤)
May 19, 2015, 5:36:11 AM5/19/15
to general-in...@googlegroups.com
This is the (very short) white paper for Genifer 3.0, based on rather conservative logic-based approach (not much is new):
中文版 (Chinese version):
Genifer 4.0 contains some of my more radical ideas, but its theory is still under development. I am writing a PDF of it and will post it soon...
Cheers :)
--
YKY
"The ultimate goal of mathematics is to eliminate any need for intelligent thought" -- Alfred North Whitehead
William Taysom
May 22, 2015, 10:00:21 AM5/22/15
to general-in...@googlegroups.com
Hello YKY,
Two thoughts:
1) Your `father . father = grandfather` example makes me think of Concatenative Languages <http://concatenative.org/wiki/view/Front%20Page>.
2) Recently, I was very much inspired by Dyna <https://github.com/nwf/dyna>, a Prolog with very clever aggregators which make many definitions feel much more natural.
Enjoy,
William
> --
> You received this message because you are subscribed to the Google Groups "Genifer" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to general-intellig...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
Two thoughts:
1) Your `father . father = grandfather` example makes me think of Concatenative Languages <http://concatenative.org/wiki/view/Front%20Page>.
2) Recently, I was very much inspired by Dyna <https://github.com/nwf/dyna>, a Prolog with very clever aggregators which make many definitions feel much more natural.
Enjoy,
William
> You received this message because you are subscribed to the Google Groups "Genifer" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to general-intellig...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
Forward
0 new messages