Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
Pages
▼
(Graphs)<-[r]-(Fun)
February 4th, 2016: Gave Graphing with Goats meetup, practical industrial applications of graph theory.
November 7th, 2015: I've developed the Primary congition-graph of the Regressive Imagery Dictionary. This graph has 1860 nodes on sensations. Categories: #linguistics #datascience. The Haskell program that created this graph is here. The raw data: here. The output Cypher-JSON that generated this graph is here.
No comments:
Post a Comment