-
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...
