Past Meetup

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

This Meetup is past

6 people went

Details

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.