-
On the implementation of GNU Prolog
International audience -
Évaluations de solutions d'exercices d'algorithmique " à la main " versus " a...
ISBN: 978-2-87325-061-4 - Session 6 : Diagnostic - Correction automatique -
Grammatical Inference as Unification
We propose to set the grammatical inference problem in a logical framework. The search for admissible solutions in a given class of languages is reduced to the problem... -
Abstract Views of Prolog Executions in Opium
Opium is a system for analysing and debugging Prolog programs. Its kernel comprises an execution tracer and a programming language with a set of primitives for trace... -
OPIUM: An Extendable Trace Analyser for Prolog
Traces of program executions are a helpful source of information for automated debugging. They, however, usually give a too low level picture of the executed program.... -
A Pragmatic Reconstruction of LambdaProlog
λProlog is a logic programming language in which hereditary Harrop formulas generalise Horn formulas, and simply typed λ-terms generalise Prolog terms. One may wonder... -
Opium: An extendable trace analyser for Prolog.
International audience -
Tracing Prolog programs by source instrumentation is efficient enough
International audience -
Détection des propositions syntaxiques du français : en vue de l'alignement d...
Nous présentons dans cet article SIGLé (Système d'Identification de propositions avec Grammaire Légère), un système réalisant la détection des propositions françaises.... -
Design and Implementation of the GNU Prolog System
International audience -
Linguistics and psychoanalysis : for a logicist approach
in " Linguistique et psychanalyse ", numéro double (7-8) de la revue Marges Linguistiques, sous la direction de Michel Arrivé et Izabel Vilela -
Automating Inference of OCL Business Rules from User Scenarios
International audience -
A pragmatic reconstruction of Lambda-Prolog
International audience -
Study of the Compilation of Contraint Logic Programming Languages over Finite...
This work focuses on the compilation of languages constraint logic programming over finite domains (DF) . Rather than taking the usual approach considering the...
