![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
13th WLPE 2003: Mumbai, India
- Frédéric Mesnard, Alexander Serebrenik:
Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Report CW371, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium) 2003 - Jan Wielemaker:
An Overview of the SWI-Prolog Programming Environment. WLPE 2003: 1-16 - Emmanuel Coquery:
TCLP: A type checker for CLP(X). WLPE 2003: 17-30 - Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser:
Analyzing and Visualising Prolog programs based on XML representations. WLPE 2003: 31-45 - Pierre Deransart, Ludovic Langevine, Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47 - Michael Codish, Samir Genaim:
Proving Termination One Loop at a Time. WLPE 2003: 48-59 - Alexander Serebrenik, Danny De Schreye:
Hasta-La-Vista: Termination Analyser for Logic Programs. WLPE 2003: 60-74 - Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama:
Constructive combination of crisp and fuzzy logic in a Prolog compiler. WLPE 2003: 75-89
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.