All recent documents related to ISO/IEC SC22 WG17 can be found on this site.
An error class for unexpected instantiations. [Working document]
U. Neumerkel, M. Triska. ISO/IEC SC22 WG17. N213, October 2009.
Lambdas und Schleifen in monotonen Logikprogrammen. [slides]
KPS, Maria Taferl, October 2009.
Draft proposal for setup_call_cleanup/3. Cleanup mechanism for ISO Prolog. [Working document]
ISO/IEC SC22 WG17 N211, Pasadena, July 2009; N215, October 2009.
Mechanisms for side-effect free I/O [Slides]
Invited talk at CICLOPS, Pasadena 2009.
Lambdas in ISO Prolog.
online only, June 2009.
Systematisches Testen eines Constraint-Systems.
ZIDline 19, Wien 2008.
Better Termination for Prolog with Constraints. [Slides]
M. Triska, U. Neumerkel, J. Wielemaker. WLPE, Udine 2008.
Precise Garbage Collection in Prolog.
J. Wielemaker, U. Neumerkel. CICLOPS, Udine 2008.
A Generalized Finite Domain Constraint Solver for SWI-Prolog.
M. Triska, U. Neumerkel, J. Wielemaker. WLP, Dresden 2008.
Declarative Language Extensions for Prolog Courses. [ACM portal, Slides]
U. Neumerkel, M. Triska, J. Wielemaker. FDPE, Victoria 2008.
Logikorientierte Programmierung. Eine Vorschau. pdf.
Poster. CS beginners' day, TU Wien, Wien 2003.
Programmierung logischer Agenten in GUPU.
Talk, Universität Essen, Essen 2003.
Detecting Optimal Termination Conditions of Logic Programs.
F. Mesnard, E. Payet, U. Neumerkel. 9th Static Analysis Symposium (SAS'02), Madrid 2002.
Declarative program development in Prolog with GUPU. ps.gz. [slides]
U. Neumerkel, St. Kral. 12th Workshop on Logic Programming Environments (WLPE), Copenhagen 2002.
Non-termination inference for optimal termination conditions of logic programs.
F. Mesnard, E. Payet, U. Neumerkel. Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Paris 2002.
Applying static analysis techniques for inferring termination conditions of logic programs. ps.gz.
F. Mesnard, U. Neumerkel. 8th Static Analysis Symposium (SAS'01), Paris 2001.
Localisation des erreurs par « slicing » dans les programmes logiques avec contraintes. ps.gz. [abstract]
Demo. JFPLC'01, Paris 2001.
GUPU - un environnement pour l'enseignement de Prolog et de la PLC. ps.gz. [abstract]
Poster. JFPLC'01, Paris 2001.
cTI : un outil pour l'inférence de conditions optimales de terminaison pour Prolog.
F. Mesnard, U. Neumerkel, E. Payet. Dixièmes Journées Francophones sur la Programmation en Logique et Programmation par Contraintes (JFPLC'2001), Paris 2001.
cTI: Bottom-Up Termination Inference for Logic Programs.
S. Burkel, S. Hoarau, F. Mesnard, U. Neumerkel. 15th Workshop on Logic Programming and Constraint Systems, Berlin 2000.
Implementing cTI: a constraint-based left-termination inference tool for LP.
F. Mesnard, U. Neumerkel, S. Hoarau. Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming, London 2000.
GUPU - Eine Prolog-Lernumgebung. Deklaratives Programmieren mit Prolog und Constraints. ps.gz.
Talk Vortragsreihe des Instituts Wirtschaftsinformatik der Produktionsunternehmen, Universität Essen, Essen 2000.
Localisation des erreurs par "slicing" dans les programmes logiques avec contraintes.
Talk. Séminaire de l'IREMIA. Université de la Réunion, St. Denis 2000.
Slicing zur Fehlersuche in (Constraint-) Logikprogrammen. ps.gz. [slides, ps.gz]
S. Kral, F. Mesnard, U. Neumerkel. Demo. 14. Workshop Logische Programmierung (WLP), Würzburg 2000.
CHR for prototyping abstract interpretatons.
F. Mesnard, U. Neumerkel. St. Denis 1999.
Localizing and explaining reasons for nonterminating logic programs with failure slices. ps.gz.
U. Neumerkel, F. Mesnard. Int-l Conference on Principles and Practice of Declarative Programming (PPDP'99), Paris 1999.
MERGEMEM.
Ph. Reisner, U. Neumerkel, Ph. Richter. 6th Int-l Linux-Kongress, GUUG, Augsburg 1999.
Termination slicing in logic programs. ps.gz. [slides]
INTAS Workshop on Efficient Symbolic Computing, Kiew 1998.
Slicing nichtterminierender Programme. ps.gz.
U. Neumerkel. 13. Workshop Logische Programmierung, Vienna 1998.
A programming course for declarative programming with Prolog.
U. Neumerkel. Technical report, Vienna 1997.
Teaching Prolog and CLP.
Tutorial at ICLP, Leuven 1997.
Visualizing Solutions with Viewers. ps.gz.
U. Neumerkel, Ch. Rettig, Ch. Schallhart. Workshop on Logic Programming Environments (WLPE'97), Leuven 1997.
Guiding heuristics for transformation based interprocedural register allocation in Continuation Prolog.
INTAS-Workshop, St. Petersburg 1996.
Interprocedural register allocation for the WAM based on source-to-source transformations. ps.gz. [slides]
U. Neumerkel. Joint Int-l Conference and Symposium on Logic Programming (JICSLP'96), Bonn 1996.
GUPU: A Prolog course environment and its programming methodology. ps.gz.
Poster at JICSLP'96, Bonn 1996.
Continuation Prolog: A new intermediary language for WAM and BinWAM code generation. ps.gz.
U. Neumerkel. Workshop on Sequential Implementation Technologies for Logic Programming Languages, Portland 1995.
Transforming binary logic programs using Continuation Prolog.
Talk INTAS-Workshop, Namur 1995.
Copying overlapping terms. ps.gz.
U. Neumerkel. Vienna 1995.
Teaching Beginners Prolog - How to Teach Prolog. ps.gz. [slides]. ps.gz.
U. Neumerkel. Tutorial at PAP'95, Paris 1995.
People Oriented Software Technology, and its Use in Environmental Reporting.
T. Krueger, G. Kurian, A. Nair, G. Neumann, U. Neumerkel, S. Nusser, P. Reintjes, A. Taylor, D. Tzoar, A. Walker. 6th Int-l Conference and Workshop on Database and Expert System Applications (DEXA'95), London 1995. (Also IBM research report RC 20034 4/12/95, ID 6974)
Interprozedurale Registerallokation durch Quelltexttransformationen.
U. Neumerkel. 11. Workshop Logische Programmierung, Vienna 1995.
English Executable Specifications: Their Use in Environmental Reporting and in Insurance Business Modelling.
T. Krueger, G. Kurian, A. Nair, G. Neumann, U. Neumerkel, St. Nusser, P. Reintjes, A. Taylor, D. Tzoar, A. Walker. Computer Sciences Expo 1995, IBM Corporation, New York 1995.
A Program Transformation Based on Equality between Terms.
Talk at Watson Research, IBM, Yorktown Heights 1994.
A Novel Term Compression Scheme and Data Representation in the BinWAM.
P. Tarau, U. Neumerkel. Programming Languages Implementation and Logic Programming (PLILP'94), Madrid 1994.
The binary WAM, a simplified Prolog engine.
Talk at KFKI, Budapest 1993.
Compact representation of terms and instructions in the BinWAM.
P. Tarau, U. Neumerkel. Technical Report 93-3, Dept. d'Informatique, Université de Moncton, Moncton 1993.
A Transformation Based on the Equality between Terms. ps.gz.
U. Neumerkel. Logic Program Synthesis and Transformation (LOPSTR'93), Louvain-la-Neuve 1993.
Une transformation de programme basée sur la notion d'équations entre termes. ps.gz.
U. Neumerkel. Secondes journées francophones sur la programmation en logique (JFPL'93), Nîmes-Avignon 1993.
Specialization of Prolog programs with partially static goals and binarization. ps.gz.
U. Neumerkel. Dissertation, TU Wien, Vienna 1992.
Pruning infinite failure branches in programs with occur-check.
U. Neumerkel. Logic Programming and Automated Reasoning (LPAR'92), St.Petersburg 1992.
La machine abstraite de Vienne.
U. Neumerkel. Talk. Université Rennes, Rennes 1990.
The Vienna Abstract Machine. ps.gz.
A. Krall, U. Neumerkel. Programming Languages Implementation and Logic Programming (PLILP'90), Linköping 1990.
Extensible unification by metastructures. ps.gz.
U. Neumerkel. Metaprogramming in Logic (META'90), Leuven 1990.
Prolog modules: joint French and Austrian proposal.
J.-F. Pique, U. Neumerkel. ISO/IEC JTC1 SC22 WG17 Document N47, Marseille 1989.
Speicherbereinigung für Prologsysteme.
U. Neumerkel. Diplomarbeit (Master thesis), TU Wien, Vienna 1989.
Distributed logic programming.
A. Krall, e. Kühn, U. Neumerkel. Spring EUUG Conference, Brussels 1989.
Programmierbare Unifikation in Prolog.
e. Kühn, U. Neumerkel. OCG-Berichte aus Informatik-Forschungsinstitutionen, Klagenfurt 1989.
Prolog-Tutorial.
Tutorial at UNIX-Forum IV, Vienna 1988.
12th WLPE, 2002-07-04 17th WLP, 4.-6.Sept. 
Icon  Name                         Last modified      Size  Description
[DIR] Parent Directory                                  -   
[   ] 1999-ppdp-corr.pdf           28-May-2002 20:49  176K  
[CMP] 1999-ppdp-corr.ps.gz         18-Jun-2002 19:31  168K  
[   ] 1999-wlp.pdf                 28-May-2002 20:48   61K  
[CMP] 1999-wlp.ps.gz               18-Jun-2002 19:31   67K  
[   ] 1999-wlpsl.pdf               28-May-2002 20:41   72K  
[CMP] 1999-wlpsl.ps.gz             18-Jun-2002 19:31   61K  
[   ] 2000-gupu-lernumgebung.pdf   17-Jun-2002 01:39   96K  
[CMP] 2000-gupu-lernumgebung.ps.gz 18-Jun-2002 19:31   70K  
[   ] 2001-JFPLC-abstract.pdf      29-May-2002 18:15   45K  
[CMP] 2001-JFPLC-abstract.ps.gz    18-Jun-2002 19:31   54K  
[   ] 2001-JFPLC-demo.pdf          29-May-2002 18:15   43K  
[CMP] 2001-JFPLC-demo.ps.gz        18-Jun-2002 19:31   50K  
[   ] 2001-JFPLC-fdemosl.pdf       25-Jul-2002 15:55   85K  
[   ] 2001-JFPLC-fdemosl.ps        25-Jul-2002 16:00  173K  
[CMP] 2001-JFPLC-fdemosl.ps.gz     25-Jul-2002 15:59   66K  
[   ] 2003-beginners-day.pdf       01-Oct-2003 12:59  519K  
[   ] 2003-gupu-agenten.pdf        03-Feb-2003 08:48   50K  
[   ] 2008-ciclops.pdf             07-Jan-2009 18:55  155K  
[   ] 2008-fdpe-sl.pdf             21-Sep-2008 22:20   55K  
[   ] 2008-fdpe.pdf                21-Sep-2008 08:03   71K  
[   ] 2008-wlpe-sl.pdf             18-Dec-2008 11:07   72K  
[   ] 2008-wlpe.pdf                17-Dec-2008 01:46  112K  
[   ] 2009-kps-sl.pdf              12-Oct-2009 14:41   68K  
[   ] 2009-kps.pdf                 14-Oct-2009 13:32   77K  
[   ] 2009-mechio-sl.pdf           14-Jul-2009 08:31   71K  
[   ] 2009-mechio.pdf              21-May-2009 04:56   31K  
[TXT] FOOTER.html                  09-Nov-2002 20:52    9   
[   ] binwam-nov93.pdf             28-May-2002 20:46   55K  
[CMP] binwam-nov93.ps.gz           18-Jun-2002 19:31   58K  
[   ] contp95.pdf                  18-Jun-2002 18:55  156K  
[CMP] contp95.ps.gz                18-Jun-2002 19:31  148K  
[   ] copying95.pdf                18-Jun-2002 19:07  214K  
[CMP] copying95.ps.gz              18-Jun-2002 19:31  133K  
[   ] diss.pdf                     28-May-2002 20:39  385K  
[CMP] diss.ps.gz                   18-Jun-2002 19:31  147K  
[   ] fdemojfsl.pdf                17-Jun-2002 05:12  110K  
[CMP] fdemojfsl.ps.gz              18-Jun-2002 19:31  116K  
[   ] gupu-wlpe2002.pdf            22-Jul-2002 23:21  359K  
[CMP] gupu-wlpe2002.ps.gz          22-Jul-2002 23:23  344K  
[   ] gupu-wlpe2002sl.pdf          03-Aug-2002 13:33  103K  
[   ] jfpl93.pdf                   28-May-2002 20:51  172K  
[CMP] jfpl93.ps.gz                 18-Jun-2002 19:31  143K  
[   ] jicslp96.pdf                 28-May-2002 21:05  138K  
[CMP] jicslp96.ps.gz               18-Jun-2002 19:32  131K  
[   ] jicslp96sl.pdf               19-Jun-2002 14:51  104K  
[CMP] jicslp96sl.ps.gz             18-Jun-2002 19:32   72K  
[   ] lopstr93.pdf                 28-May-2002 20:52  194K  
[CMP] lopstr93.ps.gz               18-Jun-2002 19:32  179K  
[   ] meta90.pdf                   01-May-2007 18:08  201K  
[CMP] meta90.ps.gz                 18-Jun-2002 19:32  194K  
[   ] pap95.pdf                    16-Jun-2002 23:24  159K  
[   ] papsl95.pdf                  16-Jun-2002 23:20  126K  
[CMP] papsl95.ps.gz                18-Jun-2002 19:32   73K  
[   ] poster-bonn.pdf              17-Jun-2002 05:34  637K  
[CMP] poster-bonn.ps.gz            18-Jun-2002 19:32  155K  
[   ] sas01.pre.pdf                17-Jun-2002 04:50  259K  
[CMP] sas01.pre.ps.gz              18-Jun-2002 19:32  238K  
[   ] term98.pdf                   28-May-2002 20:47  122K  
[CMP] term98.ps.gz                 18-Jun-2002 19:32  118K  
[   ] termd.pdf                    17-Jun-2002 00:58  139K  
[CMP] termd.ps.gz                  18-Jun-2002 19:32  134K  
[   ] termksl.pdf                  18-Jun-2002 18:07   64K  
[CMP] termksl.ps.gz                18-Jun-2002 19:32   61K  
[   ] tutorial.pdf                 23-Jun-2002 16:56   93K  
[   ] vam_afterfinal.pdf           28-May-2002 20:45  184K  
[CMP] vam_afterfinal.ps.gz         18-Jun-2002 19:32  178K  
[   ] wlpe97.pdf                   17-Jun-2002 21:10  387K  
[CMP] wlpe97.ps.gz                 18-Jun-2002 19:32  394K