‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
Mon 23 Mar 2020 16:00 - 16:30 at W2 - ICW 2020 #2 Chair(s): Eric Jul, Oleks Shturmov

A new trend in programming languages is to merge multiple paradigms, rather than focusing on one as it was customary in the past. Most modern languages provide a native support for imperative and functional programming, object-orientation and even concurrency. Unfortunately, the same adoption has not been observed for logic programming. The typical mechanism used to blend heterogeneous language concepts is to rely on functions. Functions are a very well understood, and usually offer an excellent abstraction over diverging models of computation. Unfortunately, this solution is unsuitable to interface logic programming. Embedding a full logic programming language into a host is also unsatisfactory, as it leaves hinders the ability to make data flow from one paradigm to the other.

As an answer to these issues, we propose LogicKit, a library that aims to bridge the gap between logic programming and other traditional paradigms. LogicKit is a Prolog-inspired language that blends seamlessly into the Swift programming language. Predicates are first-class objects in the host language and data can flow in an out of a logic program, without the need for any data serialization/parsing. Our framework is distributed in the form of a Swift library that can be imported in any Swift project effortlessly. We elaborate on our motivation for developing LogicKit and present the library by the means of simple examples.

Mon 23 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:00 - 17:30: ICW 2020 #2ICW at W2
Chair(s): Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo
16:00 - 16:30
Short-paper
LogicKit: Bringing logic programming to Swift
ICW
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
16:30 - 17:00
Other
Discussion
ICW
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
17:00 - 17:30
Day closing
Wrap-up
ICW
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo