[PDF] Proceedings of the 1st International Workshop on Teaching

Proceedings of the 1st International Workshop on Teaching

ing the small number of sessions, we have limited the study to one language We have more particularly chosen Gnu-Prolog [8], a language developped by Daniel Diaz Indeed, Gnu-Prolog is used to illustrate the Prolog course within the same course unit; it integrates a constraint solver over finite domains and provides a

la programmation en langage C - IBISC

PROLOG Languages Declaratifs Tous les Languages de Programmation Languages Imperatifs: Langages incluant des moyens pour le programmeur d ’attribuer des valeurs a des locations en mémoire Languages Declaratifs: Langages pour lesquels le programmeur réfléchit en terme de valeurs des fonctions et de relations entre entités diverses

Logic programming in groundwater - ResearchGate

implemented in the logic programming language Prolog and runs présence de l'eau dans un site donnée, la quantité utilisable et sa dans l'Italie du Sud, où il y avait suffisamment de

Introduction à L’Intelligence Artificielle

•Apparition du premier programme le LOGIC THEORIST (démonstration automatique de théorème) en 1956 et du langage IPL1 Apparition des langage Lisp en 1960 par MacCarthy, et Prolog en 1971 par Alan Colmerauer •Elizaest construit au MIT en 1965 , un système intelligent qui dialogue en anglais et qui joue au psychotherapiste

Solutions to Exercises - UCL

tively, by the integer one and by an element at a time Hence, zero indicates that there may still be items in the list, in which case the list cannot be shorter than the specified number Conversely, []indicates that the list is shorter than the number of items to be discarded

SQL - tutorialspointcom

SQL is a language to operate databases; it includes database creation, deletion, fetching rows, modifying rows, etc SQL is an ANSI (American National Standards Institute) standard language, but there are many different versions of the SQL language

DIC9320 - Université du Québec à Montréal

Les étudiants choisiront dès le début du cours un thème de recherche pertinent au contenu du cours et devront présenter, à intervalles réguliers, un ou plusieurs article(s) développant(s) ce thème RÉFÉRENCES V R Gregory Grefenstette – Cross-Language Information Retrieval Springer– édition Mar 31 1998

Systems Prediction Structural Engineering Benedicto

the KB in natural language Each one has a considerable number of evidences Ej-and a set of probabilites associated: P(Hi) for the hypothesis itself and P(Ej: Hi) and P(Ej: Hi)for each one of the evidences related to the hypothesis Evi¬ dences were classified into several groups, depending upon their source, which are: Visual inspection

FAIR PRACTICES CODE - HDFC Home Loan

Page 2 of 4 Information and Disclosure While interacting with customers, the Corporation may take all steps as may be required to provide clear information either in English or Hindi or the appropriate local language

Cahiers G U Tenberg

partially by the standard and partiall by y a prolog to the document which is called the document type definitio (DTD)n The DTD defines the "elements" of a document, whic ihn a document instanc are e marked off by star tagt s and end tags For example, a hypothetical section may be marked up like the fragment on the lef itn Figure 1

[PDF] langage prolog pdf

[PDF] exercice prolog

[PDF] tp prolog corrigé

[PDF] exemple programme prolog

[PDF] exercice prolog liste corrigé

[PDF] prolog cours pdf

[PDF] west side story tonight analyse

[PDF] west side story fiche technique

[PDF] tp fibre optique bac pro sen

[PDF] bac pro environnement nucléaire salaire

[PDF] fibre optique bac pro eleec

[PDF] bac pro techniques d'interventions sur installations nucléaires

[PDF] cours fibre optique bac pro sen

[PDF] 3x500 record du monde

[PDF] détection

ack(0,

0, N, M) :-

M

M is N+1.

acack(N N>0 N1 ac ack( X Y Y1 ac X1 ac adadd addadd add(X,[Y|Ys],[Y|Zs]) :- aM 0, , 0, M) 0, M iiiiis N-1,N is sss N-1, N- 1 N ssNs N 11111
(N NNN1, ZZ X, Y, 0000, 00, Y-1 -1 ii s Y- Y k Y1Y k( (((X, Y iiiis k( (((X1

XXX,[],

X

X,[X|XsX,[X

[X|Xs

X [X|X

(X,[Y|Y

X,[Y|Y

dd(X Ys d(X dd 1111
Y1Y 1 1 1 1, Z ii N0M) Y X YY Y X 0 X X i k X X X iii X N sssssss 11

N, 0, M

, 0, M) 0, iiii i k( X Z k k (X (X ((X dd(X Ysdd(X X Xs ss ssss k 1 k 1 1 1 1 1 M) ssss XX 11 Z N> kk kk k( X YYs Z) : Z 11

Z) :-ZZZ) :-Z

Y, Y1 1 Y Y

Z)1111

YYY 1

Y1, ),

Y X1 1111
1

Proceedings of the 1st International Workshop on

Teaching Logic Programming

TeachLP 2004

September 8-9 2004, Saint Malo

M. Ducassé, U. Nilsson, D. Seipel (Eds)

Proceedings of the First International Workshop on

Teaching Logic Programming: TeachLP 2004

Saint Malo, September 8-9, 2004

M. Ducass´e, U. Nilsson, D. Seipel (Editors)

3 4

Preface

Following the panel discussion at the International Conference on Logic Program- ming 2003 in Mumbai, India, the first international workshop on Teaching Logic Programming, TeachLP 2004, was held in Saint Malo, France, on 8-9 September

2004. The meeting ran as a workshop in conjunction with the 2004 International

Conference on Logic Programming, held on September 6-10, 2004. Logic Programming (LP) and Constraint Logic Programming (CLP) are pow- erful programming paradigms, but hard to learn without sufficient assistance. To further spread the technology it should be taught to a broader range of computer science students. The aim of the workshop was to investigate what is currently taught and how; what should be taught and why.

Suggested topics for submissions included:

•teaching on different aspects of (C)LP -fundamentals of logic programming, -software engineering techniques for Prolog, -debugging techniques for Prolog, -practical applications, •teaching special aspects of (C)LP, such as control structures and meta pred- icates, •teaching Prolog/(C)LP in a few hours for CS students, •tools for teaching, -tools for teaching (C)LP, -using (C)LP technology for e-learning systems, •relation to other fields and paradigms, •applying (C)LP in other courses, •(C)LP and the ACM curriculum, •(C)LP for the masses or for experts. We would like to thank all the authors who have submitted a paper, and all colleagues who have served as reviewers in the program committee for their con- tributions to the success of the workshop. Many thanks also to the organizers of 5 the International Conference on Logic Programming ICLP"2004 for the schedul- ing and the local arrangements. Finally, we acknowledge the support of Link¨oping University Electronic Press for publishing the workshop proceedings.

Saint Malo, September 2004

Mirelle Ducass´e, Ulf Nilsson, Dietmar Seipel

6

Organizing committee

Mireille Ducass´e (IRISA/INSA de Rennes, France) Ulf Nilsson (Link¨opings Univ., Link¨oping, Sweden) Dietmar Seipel (Univ. W¨urzburg, Germany, PC chair)

Program committee

Christoph Beierle (Fern-Uni Hagen, Germany),

Manuel Carro (Technical Univ. of Madrid, Spain),

Mireille Ducass´e (IRISA/INSA de Rennes, France),

Ulrich Geske (Fraunhofer First Berlin, Germany),

Gopal Gupta (Univ. of Texas at Dallas, USA),

Michael Hanus (CAU Kiel, Germany),

Ulrich Neumerkel (TU Vienna, Austria),

Ulf Nilsson (Link¨opings Univ., Sweden),

Enrico Pontelli (NMSU, Las Cruces, USA),

Dietmar Seipel (Univ. W¨urzburg, Germany),

Kazunori Ueda (Waseda University, Tokyo, Japan).

7 8

Contents

An On-line Course on Constraint Programming 11

Christine Solnon

Partial Specifications of Program Properties 18

Christoph Beierle, Marija Kulas, Manfred Widera

Teaching Prolog Programming at the E¨otv¨os Lor´and University,

Budapest 35

Tibor´Asv´anyi

Prolog as Description and Implementation Language in Computer

Science Teaching 43

Henning Christiansen

Teaching Logic Programming at the Budapest University of Tech- nology 55

P´eter Szeredi

A Logic Programming E-Learning Tool For Teaching Database De- pendency Theory 71

Paul Douglas, Steve Barker

A Database Transaction Scheduling Tool in Prolog 81

Steve Barker, Paul Douglas

9 10

An On-line Course on Constraint

Programming

Christine Solnon

LIRIS CNRS FRE 2672, Nautibus, Universit´e Lyon I

43 Bd du 11 novembre, F-69 622 Villeurbanne cedex

christine.solnon@liris.cnrs.fr

Abstract

This paper describes an on-line course on constraint programming. This course is dedicated to students of the "e-miage" formation, which is a french remote formation to "Information Systems for Companies Management".

This course is available (in french) at

1 Introduction

The MIAGE (M´ethodes Informatiques Appliqu´ees `a la Gestion des Entreprises) is a popular french formation on "Information Systems for Companies Manage- ment" which is delivered in twenty french universities. This formation lasts forquotesdbs_dbs12.pdfusesText_18