Coding Dojos Eindhoven's cover image

Coding Dojo: Logic Programming

Hosted by Coding Dojos Eindhoven

Tweet Share Share


We know object-oriented programming, imperative programming, we have even done functional programming, but there is also “logic programming”. Intuitively this means that you specify a set of criteria that the solution has to satisfy, and then let the computer come up with the solution(s). In this coding dojo we will dip our toes into logic programming. A well-known language for that is Prolog, but we will use Clojure for this. Don’t worry if you don’t know anything about Clojure, we’ll start from the beginning.

So in short:

  • October 24, 17.00 – 21.00, HTC 33
  • Dinner included
  • Fun
  • Puzzling
  • Logic - Prolog + Clojure
  • Let us know if:
    • You don’t already have access to HTC33
    • You have special dietary preferences
  • Please forward to anybody who may be interested!

If you come, please prepare by installing the development environment:

  • Make sure you have Java JDK 11 or above
    • Mac: brew cask install adoptopenjdk
    • Windows: Download from Oracle and install
    • Linux: I don't really know, but since you're a Linux user I'm going to assume you do. :)
  • Download the latest Nightcode JAR (version 2.8.1 at this time) from the releases page. Nightcode is a small Clojure IDE that has all other required dependencies. If your Java environment is installed properly, you should be able to double-click the JAR to start Nightcode (on macOS you may have to right-click and select “Open” from the context menu, depending on your security settings).

Oct. 24, 2019, 5 p.m. - Oct. 24, 2019, 9 p.m.


    Oct. 17, 2019, 8:37 a.m.

    I'd like to clarify that we're beta-testing this service. It means that you can RSVP here and that will work the way you expect it to, but the majority of invitations have been sent out through our list of email addresses. Those people will not yet head over here this time. Long story short: the number of attendees you see here is not correct. I'll post updates now and then, but so far we have 10 people who have accepted the invitation already.

    Oct. 21, 2019, 8:49 a.m.

    Current count of _accepted_ attendees: 15

Attendees (2)

Gert No