15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2017)

Topics included, but not limited to:

• Sequential implementation schemes (abstract machines, translation to other languages, etc.).

• Implementation of concurrent and distributed logic and constraint programming systems.

• Implementation of type inference and type checking systems for logic and constraint programming languages.

• Compile-time analysis and its application to code generation.

• Balance between compile-time effort and run-time machinery, dynamic compilation.

• Interaction between high-level optimizations / transformations / specialization and low-level issues.

• Memory management and garbage collection issues.

• Indexing techniques and optimizations for large size programs.

• Optimizations for program generated logic and constraint programs.

• Implementation of logic engines in functional and object oriented languages.

• Embedding of logic and constraint programming engines in multi-paradigm systems.

• Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.).

• Implementation of theorem provers, proof assistants and logic based natural language processing systems.

• Implementation of object and agent-oriented extensions to logic and constraint programming languages.

• Object and module systems.

• Design and implementation of declarative I/O concepts for logic and constraint programming languages.

• Implementations and ports of logic and constraint programming systems for mobile phones and netbooks.

• Documenting, debugging, testing, and profiling tools for logic and constraint programming systems.

• Novel compilation methods to modern hardware (e.g. GPUs).