3 ms·
Just a logically way of thinking. Many people don't know it, but Java is verified with prolog. https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#
by segmondy 10y ago
Just a logically way of thinking. Many people don't know it, but Java is verified with prolog.
https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.10 https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.ht...
- agumonkey 10y agoHaaaa I remember reading the spec, before I knew prolog .. didn't realize what I was reading. Neat.