Logic Programming

A quick exploration on Logic Programming... with Ruby and Ruby-Prolog

Transcript

1. Logic Programming With Ruby Mario Chavez : @mario_chavez
2. We do love Ruby
3. Ruby has a story of borrowing features from other languages
4. Logic Programming with Prolog
5. Logic Programming • We do not express what a program should do • We do express data and queries in a specific format
6. Main Blocks • Facts, assertions about our domain • Rules, express inferences about our facts • Queries, questions to be answered
7. Ruby-Prolog https://github.com/preston/ruby-prolog
8. likes['wallace', 'cheese'].fact ! likes['grommit', 'cheese'].fact! likes['wendolene', 'sheep'].fact! friend[:X, :Y] <<= [noteq[:X,:Y], likes[:X, :Z], likes[:Y, :Z]] query(friend['wallace', 'grommit']) rp = RubyProlog::Core.new! rp.instance_eval do! end
9. class Family < RubyProlog::Core! def initialize! super! facts! rules! end! ! def siblings(person)! query sibling[:X, person]! end! ! def parents(child)! query parent[:X, child]! end! ! def children(parent)! query parent[parent, :Y]! end! ! private! def facts! mother["Trude", "Sally"].fact! father["Tom", "Sally"].fact! father["Tom", "Erica"].fact! father["Mike", "Tom"].fact! end! ! def rules! sibling[:X,:Y] <<= [ parent[:Z,:X], parent[:Z,:Y], noteq[:X,:Y] ]! parent[:X,:Y] <<= father[:X,:Y]! parent[:X,:Y] <<= mother[:X,:Y]! end! end! ! s = Family.new! s.siblings 'Sally'!
10. Not as complete as Prolog But good enough to explore a different way to solve problems
11. Be curious
12. Explore other languages
13. Gracias Mario Chavez : @mario_chavez