Bart Demoen

Theory Pract. Log. Program., 2008

Uniting the Prolog Community.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Towards Typed Prolog.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

On the Efficient Execution of ProbLog Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Environment Reuse in the WAM.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Two WAM Implementations of Action Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

A Novel Approach For Detecting Symmetries in CSP Models.

[BibT_eX]

[DOI]

Christopher Mears

Mark Wallace

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007

Incremental copying garbage collection for WAM-based Prolog systems.

[BibT_eX]

[DOI]

Ruben Vandeginste

Theory Pract. Log. Program., 2007

Fast Frequent Querying with Lazy Control Flow Compilation.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

User-definable rule priorities for CHR.

[BibT_eX]

[DOI]

Leslie De Koninck

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Aggregates for CHR through Program Transformation.

[BibT_eX]

[DOI]

Peter Van Weert

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Aggregates in Constraint Handling Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

The Correspondence Between the Logical Algorithms Language and CHR.

[BibT_eX]

[DOI]

Leslie De Koninck

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Improving PARMA trailing.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2006

Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.

[BibT_eX]

[DOI]

Leslie De Koninck

Proceedings of the 20th Workshop on Logic Programming, 2006

Memory Reuse for CHR.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

Checking modes of HAL programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

Automatic Implication Checking for CHR Constraints.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Guard Simplification in CHR programs.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Guard and Continuation Optimization for Occurrence Representations of CHR.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach.

[BibT_eX]

[DOI]

Edgar G. Daylight

Francky Catthoor

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Herbrand Constraints in HAL.

[BibT_eX]

[DOI]

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2003

Query Transformations for Improving the Efficiency of ILP Systems.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2003

Refactoring Logic Programs: Extended Abstract.

[BibT_eX]

[DOI]

Alexander Serebrenik

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2002

Combining an improvement to PARMA trailing with trailing analysis.

[BibT_eX]

[DOI]

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Segment Order Preserving and Generational Garbage Collection for Prolog.

[BibT_eX]

[DOI]

Ruben Vandeginste

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Trailing Analysis for HAL.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Copying Garbage Collection for the WAM: To Mark or Not to Mark?

[BibT_eX]

[DOI]

Ruben Vandeginste

Proceedings of the Logic Programming, 18th International Conference, 2002

A Different Look at Garbage Collection for the WAM.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

To the Gates of HAL: A HAL Tutorial.

[BibT_eX]

[DOI]

Kim Marriott

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

Heap Memory Management in Prolog with Tabling: Principles and Practice.

[BibT_eX]

J. Funct. Log. Program., 2001

2000

CHAT: the copy-hybrid approach to tabling.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2000

Project Report on LP<sup>+</sup>: A Second Generation Logic Programming Language.

[BibT_eX]

[DOI]

AI Commun., 2000

On the Static Analysis of Indirect Control Transfers in Binaries.

[BibT_eX]

Bjorn De Sutter

Bruno De Bus

P. Keyngnaert

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Heap Garbage Collection in XSB: Practice and Experience.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

Prolog and abduction 4 writing garbage collectors.

[BibT_eX]

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Two Advanced Transormations for Improving the Efficiency of an ILP system.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

Executing Query Packs in ILP.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

So Many WAM Variations, So Little Time.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

CAT: The Copying Approach to Tabling

[BibT_eX]

J. Funct. Log. Program., 1999

Scaling Up Inductive Logic Programming by Learning from Interpretations.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 1999

CHAT Is Theta(SLG-Wam).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Herbrand Constraint Solving in HAL.

[BibT_eX]

Warwick Harvey

Kim Marriott

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Overview of HAL.

[BibT_eX]

[DOI]

Warwick Harvey

Kim Marriott

Proceedings of the Principles and Practice of Constraint Programming, 1999

A Finite Domain CLP Solver on Top of Mercury.

[BibT_eX]

[DOI]

Henk Vandecasteele

Gerda Janssens

Proceedings of the New Trends in Contraints, 1999

1998

Semantics-Based Program Analysis for Logic-Based Languages Using XSB.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1998

Memory Management for Prolog with Tabling.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Memory Management, 1998

1997

On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1997

XSB as the Natural Habitat for General Purpose Program Analysis.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology.

[BibT_eX]

[DOI]

J. Log. Program., 1996

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

Segment order preserving copying garbage collection for WAM based Prolog.

[BibT_eX]

[DOI]

Geert Engels

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

1995

Analyzing Logic Programs Using "<tt>PROP</tt>"-ositional Logic Programs and a Magic Wand.

[BibT_eX]

[DOI]

J. Log. Program., 1995

The power of partial tanslation: an experiment with the C-ification of binary Prolog.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM symposium on applied computing, 1995

1994

A Fine-Grained Parallel Memory Compaction Algorithm.

[BibT_eX]

[DOI]

Patrick Weemeeuw

J. Parallel Distributed Comput., 1994

Language Embedding by Dual Compilation and State Mirroring.

[BibT_eX]

Proceedings of the Sixth Workshop on Logic Programming Environments, 1994

Hybrid Tree Search in the Andorra Model.

[BibT_eX]

Proceedings of the Logic Programming, 1994

A Comparison of Some Schemes for Translating Logic to C.

[BibT_eX]

Greet Maris

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop.

[BibT_eX]

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993

Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand.

[BibT_eX]

Proceedings of the Logic Programming, 1993

A Parallel Implementation for AKL.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language.

[BibT_eX]

Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

1992

On the Transformation of a Prolog Program to a More Efficient Binary Program.

[BibT_eX]

[DOI]

Proceedings of the Logic Program Synthesis and Transformation, 1992

Garbage Collection in Aurora: An Overview.

[BibT_eX]

[DOI]

Patrick Weemeeuw

Proceedings of the Memory Management, 1992

1991

A New Scheme for Unification in WAM.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

A Framework to Specify Database Update Views for Prolog.

[BibT_eX]

[DOI]

Egon Börger

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Implementation of Prolog as Binary Definite Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

KAPPA: A Kernel Andorra Prolog Parallel Architecture Design.

[BibT_eX]

[DOI]

Henk Van Acker

Proceedings of the Parallel Execution of Logic Programs, 1991

1990

A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors.

[BibT_eX]

Patrick Weemeeuw

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Program Source as Model for Debugging Prolog.

[BibT_eX]

Alain Callebaut

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

1989

On the Management of Choicepoint and Environment Frames in the WAM.

[BibT_eX]

Proceedings of the Logic Programming, 1989

Indexing Prolog Clauses.

[BibT_eX]

Alain Callebaut

Proceedings of the Logic Programming, 1989

1988

A Partial Evaluation System for Prolog: some Practical Considerations.

[BibT_eX]

[DOI]

Raf Venken

New Gener. Comput., 1988

Improving the Register Allocation of WAM by Recording Unification.

[BibT_eX]

Gerda Janssens

Proceedings of the Logic Programming, 1988

A Flexible Prolog-Based Lexical Database System.

[BibT_eX]

William G. Imlah

Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988

1987

Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism.

[BibT_eX]

[DOI]

Peter Van Roy