On Wednesday, March 23, 2016 at 11:39:26 PM UTC+1, David Kahn wrote:
>
> I've been working through "Prolog and Natural Language Analysis" in
> miniKanren recently https://github.com/tca/PANL/ (link to book in README).
>
Sorry for the late answer. I saw your code but I don't understand
everything, now I have minikanren book I'm studying it so hopefully I'll
have better understanding of all of this. Also translating prolog to
minikaren is a difficult task for me.
Hopefully, i will provide more feedback later.
Have fun!
> It covers all the things you need to make a program like this, and it
> chapter 5 it has you make one.
>
> The key thing you are missing is building the logical forms of the
> sentences so you can pull out the parts you want.
>
> I wrote up very simple dialogue program that works based on extracting
> relation tuples from the logical forms. A statement will add the tuple to
> the database; a question will put variables in the tuple and query the
> database with it. There is obviously a lot more to do but it's a start!
>
>
> (use-modules (minikanren language)
> (minikanren dcg))
> (use-modules (ice-9 readline))
>
>
>
>
> (--> (question s)
> (fresh (np vp s1)
> (conde ((wh-question np) (verb-phrase `(lambda (,np) ,s)) '(?)))))
>
>
> (--> (statement s)
> (fresh (np vp s1)
> (conde ((noun-phrase np) (verb-phrase `(lambda (,np) ,s))))))
>
>
> (--> (verb-phrase vp)
> (fresh (tv np)
> (conde ((transitive-verb `(lambda (,np) ,vp)) (noun-phrase np))
> ((intransitive-verb vp)))))
>
>
> (--> (transitive-verb logical-form)
> (fresh (tv)
> (conde (`(,tv) (escape (transitive-verbo tv logical-form))))))
>
>
> (define (transitive-verbo tv logical-form)
> (fresh (x y)
> (conde ((== tv 'wrote))
> ((== tv 'played)))
> (== logical-form `(lambda (,x) (lambda (,y) (,tv ,x ,y))))))
>
>
> (--> (intransitive-verb exp)
> (fresh (x)
> (conde ((== exp `(lambda (,x) (halts ,x)))
> '(halts)))))
>
>
> (--> (noun-phrase x)
> (fresh (d x^)
> (conde ((proper-noun x))
> ((== x `(,d ,x^)) (determiner d) (noun x^)))))
>
>
> (--> (determiner x)
> (conde ((== x 'the) '(the))))
>
>
> (--> (proper-noun logical-form)
> (fresh (pn)
> (conde (`(,pn) (escape (proper-nouno pn logical-form))))))
>
>
> (define (proper-nouno pn logical-form)
> (fresh ()
> (== pn logical-form)
> (conde
> ((== pn 'will))
> ((== pn 'jason))
> ((== pn 'dan))
> ((== pn 'oleg))
> ((== pn 'kanren))
> ((== pn 'minikanren))
> ((== pn 'microkanren)))))
>
>
> (--> (noun n)
> (conde ((== n 'cat) '(cat))
> ((== n 'guitar) '(guitar))))
>
>
> (--> (wh-question x)
> (fresh (x)
> (conde ((== x 'who) `(,x)))))
>
>
> (define (membero x l)
> (fresh (head tail)
> (== l `(,head . ,tail))
> (conde
> ((== x head))
> ((membero x tail)))))
>
>
> (define (query in db db^ out)
> (fresh (logical-form)
> (conde
> ((statement logical-form in '())
> (== db^ (cons logical-form db))
> (== out 'ok!))
> ((question logical-form in '())
> (== db db^)
> (membero logical-form db)
> (statement logical-form out '())))))
>
>
> (define db '())
> (define (run-query in)
> (let ((answer (run^ 1 (lambda (state)
> (fresh (db^ out)
> (== state (cons db^ out))
> (query in db db^ out))))))
> (if (null? answer)
> (display "I don't know.")
> (let ((state (caar answer)))
> (let ((db^ (car state))
> (out (cdr state)))
> (set! db db^)
> (display out)))))
> (newline))
>
>
> (define (dialogue)
> (call-with-input-string (string-append "(" (readline "> ") ")")
> (lambda (in) (run-query (read in))))
> (dialogue))
>
>
>
>
> (dialogue)
>
>
> ;; > will wrote minikanren
> ;; ok!
> ;; > jason wrote microkanren
> ;; ok!
> ;; > oleg wrote kanren
> ;; ok!
> ;; > the cat played the guitar
> ;; ok!
> ;; > dan played will
> ;; ok!
> ;; > who played the guitar ?
> ;; (the cat played the guitar)
> ;; > who played will ?
> ;; (dan played will)
> ;; > who wrote kanren ?
> ;; (oleg wrote kanren)
> ;; > who wrote minikanren ?
> ;; (will wrote minikanren)
> ;; > who wrote microkanren ?
> ;; (jason wrote microkanren)
> ;; > who halts ?
> ;; (minikanren halts)
>
>
>
--
You received this message because you are subscribed to the Google Groups
"minikanren" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/minikanren.
For more options, visit https://groups.google.com/d/optout.
