A Tribute to Alain Colmerauer
Programming Languages
2007-05-23 v1
Authors:
Jacques Cohen
Abstract
The paper describes the contributions of Alain Colmerauer to the areas of logic programs (LP) and constraint logic programs (CLP).
Cite
@article{arxiv.cs/0402058,
title = {A Tribute to Alain Colmerauer},
author = {Jacques Cohen},
journal= {arXiv preprint arXiv:cs/0402058},
year = {2007}
}
Comments
9 pages
Related papers
View all related →
Computational Complexity · Computer Science
Beautiful Structures: An Appreciation of the Contributions of Alan Selman
Lane A. Hemaspaandra
2014-06-18
Logic in Computer Science · Computer Science
Robin Milner's Work on Concurrency: An Appreciation
Samson Abramsky
2022-06-22
Logic in Computer Science · Computer Science
CLP(H): Constraint Logic Programming for Hedges
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2016-08-08
Software Engineering · Computer Science
Slicing of Constraint Logic Programs
Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski
2007-05-23
Logic in Computer Science · Computer Science
An Assertion language for slicing Constraint Logic Languages
Moreno Falaschi, Carlos Olarte
2018-12-03
cmp-lg · Computer Science
Constraint Logic Programming for Natural Language Processing
Philippe Blache, Nabil Hathout
2008-02-03
cmp-lg · Computer Science
Memoization in Constraint Logic Programming
Mark Johnson
2008-02-03
Artificial Intelligence · Computer Science
ACLP: Integrating Abduction and Constraint Solving
Antonis Kakas
2007-05-23
Artificial Intelligence · Computer Science
A Compiler for Ordered Logic Programs
James P. Delgrande, Torsten Schaub, Hans Tompits
2007-05-23
Logic in Computer Science · Computer Science
ALPprolog --- A New Logic Programming Method for Dynamic Domains
Conrad Drescher, Michael Thielscher
2011-07-27
Programming Languages · Computer Science
Integrating Interval Constraints into Logic Programming
M. H. van Emden
2010-02-09
Programming Languages · Computer Science
Constraint Functional Logic Programming over Finite Domains
Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez, Rafael del Vado-Virseda
2007-05-23
Programming Languages · Computer Science
(Co)recursion in Logic Programming: Lazy vs Eager
Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
2014-05-21
Programming Languages · Computer Science
Recurrence with affine level mappings is P-time decidable for CLP(R)
Fred Mesnard, Alexander Serebrenik
2007-05-23
Logic · Mathematics
Computability and analysis: the legacy of Alan Turing
Jeremy Avigad, Vasco Brattka
2018-12-10
Artificial Intelligence · Computer Science
Semirings for Probabilistic and Neuro-Symbolic Logic Programming
Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt
2024-02-22
Artificial Intelligence · Computer Science
Finding Structure and Causality in Linear Programs
Matej Zečević, Florian Peter Busch, Devendra Singh Dhami, Kristian Kersting
2022-03-30
Artificial Intelligence · Computer Science
Enhancing Computational Cognitive Architectures with LLMs: A Case Study
Ron Sun
2025-09-16
Databases · Computer Science
Applying Constraint Logic Programming to SQL Semantic Analysis
Fernando Sáenz-Pérez
2020-02-19
Logic in Computer Science · Computer Science
Introduction to the 35th International Conference on Logic Programming Special Issue
Esra Erdem, Andrea Formisano, German Vidal, Fangkai Yang
2019-08-13
Machine Learning · Statistics
Multilayer Perceptron Algebra
Zhao Peng
2017-01-19
Artificial Intelligence · Computer Science
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Jeroen Spaans, Jesse Heyninck
2025-07-23
Artificial Intelligence · Computer Science
Introduction to the 26th International Conference on Logic Programming Special Issue
Manuel Hermenegildo, Torsten Schaub
2010-08-11
Logic in Computer Science · Computer Science
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik +6
2021-09-17
Programming Languages · Computer Science
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
Joaquín Arias, Manuel Carro
2018-09-18