( news )
- Bob Coyne on Words Eye
- Brandon Bloom on Term Rewriting
- Gershom Bazerman on Homotopic Type Theory
- RPL on Prolog and Core Logic
- Lisp Summer BBQ
( news )
( meeting - Tuesday, June 9, 7:00 PM - Logic Programming by Pierre de Lacaze )
This talk will cover various aspects of Logic Programming. We will we start with a brief introduction to Prolog and metaprogramming in Prolog. We will also discuss how miniKamren and Core.Logic differ from Prolog while maintaining the paradigms of logic programming.
We will then cover the Unification Algorithm in depth and examine the mathematical motivations which are rooted in Skolem Normal Form. We will also discuss the applications of the Unification Algorithm to theorem proving and type inferencing.
Finally we will look at the role of Prolog in the context of Machine Learning. This is known as Inductive Logic Programming. In that context we will briefly review Decision Tree Learning and it's relationship to ILP. We will then examine Sequential Covering Algorithms for learning clauses in Propositional Calculus and then the more general FOIL algorithm for learning sets of Horn clauses in First Order Predicate Calculus. Examples will be given in both Common Lisp and Clojure for these algorithms.
Pierre de Lacaze has over 20 years’ experience with Lisp and AI based technologies. He holds a Bachelor of Science in Applied Mathematics and Computer Science and a Master’s Degree in Computer Science. He is one of the Director's of LispNYC.org and is currently a Senior Developer at Shareablee.
Links will be provided shortly.
123 William Street, 19th Floor
( news stream )
|AnnaPawlicka: “I’m using Linux. A library that emacs uses to communicate with Intel hardware.” - Erwin, #emacs, Freenode. Intro to Mastering Emacs <3|
|LispNyc: @jeremyheiler @sclv looks great!|
|LispNyc: See tonight's presentation: Gershom Bazerman's "From Scheme to Dependent Type Theory in 100 Lines" http://t.co/rOABQAJjlE|
|LispNyc: RT @Jose_A_Alonso: The downfall of imperative programming. ~ B. Milewski @BartoszMilewski http://t.co/z2fSpUYJcx #Programming|
|LispNyc: @leolaporte heard you're getting into Lisp, here's some great resources: http://t.co/mYocQB6L0O Looking forward to your new show! #leolisp|
|Roboto: Google’s signature font is now open source|
|Really appreciate the generous donations to LispNYC, thank you for nurturing ...|
|LispNyc: RT @racketlang: (fifth RacketCon) will be held Sep.27 in St. Louis co-located with @strangeloop_stl. Call for speakers/announcement: http:/…|
|LispNyc: RT @bodil: The first several Clojure programs I wrote always started with (def car first) (def cdr rest) Eventually I got over it, though.|
|[CFP] *DEADLINE EXTENDED* Scheme and Functional Programming Workshop 2015|
LispNYC is a nonprofit unincorporated association dedicated to the advocacy and advancement of Lisp-based software and development technologies such as Common Lisp, Clojure and Scheme.
We focus on education, outreach, regular monthly meetings and development projects.
Meetings are the second Tuesday of every month, are free and open to all.
Providing parentheses to NYC since 2002