Let's continue first-order logic (AIMA ch. 8).

Now that we've gotten the syntax out of the way, let's take a look at writing predicates using e.g. miniKanren or core.logic.

Join or login to comment.

  • Peter D.

    Thanks, you guys; had a great time last night.

    1 · December 10, 2013

  • Doug S

    I won't be able to get there until 8. Will someone be able to let me in? Would there be any pizza left by that time? I can always grab something on the way. Thanks!

    December 9, 2013

  • Doug S

    I might be a little late coming from the east side.

    December 1, 2013

7 went

People in this
Meetup are also in:

You don't have to be an expert to start your own Meetup Group

Get started Learn more

I'm surprised by the level of growth I've seen since becoming an organizer, it's given me more confidence in my abilities.

Katie, started NYC ICO

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy