01-logic-programming

Students

The goal of this exercise if to simulate the students within the Semantics course using logic programming. We will use LogicKit, a MicroKanren implementation in Swift.

Define students

Using the example, define all the students.

Find a student

Write a predicate is_student(who: Term) -> Goal that returns true if its parameter is a student, or false otherwise.

Find all the students

Write a function all_students() -> [Student] that returns all the students.

Define attendance

Attendance is a relation between a student, a course and a year. Define it.

Find attendances

Write a goal attends(who: Term, course: Term, year: Term) -> Goal that returns true for the correct attendances.

Find all students in Semantics 2017

Find all students that have been or are in the Semantics course

Find all courses that a student has taken, and their year

Lists

The goal of this exercise is to represent and manipulate lists.

Define the Naturals

Define the Lists of Naturals

Define the size of a list

Palindromes

Define the Strings

Define concatenation on Strings

Define reversion on Strings

Define a predicate for palindromes