http://math.andrej.com/2009/01/16/miniprolog/ Mathematics for computers Sun, 25 Jul 2010 09:06:21 +0000 http://wordpress.org/?v=2.9.1 hourly 1 http://math.andrej.com/2009/01/16/miniprolog/comment-page-1/#comment-11211 babelfish007 Mon, 19 Jan 2009 18:38:49 +0000 http://math.andrej.com/?p=156#comment-11211 What do you think about adapting miniprolog to work within Ocaml? It would be nice to be able to integrate functional and logic programming, while maintaining the basic infrastructure (i.e., arithmetic, graphics, iteration) of the Ocaml language. What do you think about adapting miniprolog to work within Ocaml? It would be nice to be able to integrate functional and logic programming, while maintaining the basic infrastructure (i.e., arithmetic, graphics, iteration) of the Ocaml language.

]]>