The 2024 Prolog Implementers Forum PIPs Workshop

Call for Participation

You are invited to participate in the 2024 “Prolog Improvement Proposals (PIPs) Workshop”, to take place at ICLP 2024 in Dallas!

Remote participation is also possible through Teams using this link. It is free and does not require registration.

Preliminary Program (Saturday, October 12, 2024)

Location: Naveen Jindal School of Management (JSOM), UTDallas Richardson campus.

Times are local Dallas time.

08:30-09:00 :: Breakfast
09:00-10:30 :: Session 1
- 09:00-09:05 Welcome. Theresa Swift and Carl Andersen
- 09:05-09:20 Introduction to the PIPs initiative: Motivation, how to participate, proposing and developing PIPs, etc. Presenter: José Francisco Morales
- 09:20-09:30 Current PIP Infrastructure. Presenter: Manuel Hermenegildo
- 09:30-09:45 PIP-0101: Communication between Prolog and Python via Janus. Presenter: Jan Wielemaker
- 09:45-10:00 PIP-0100: JSON to and from Prolog. Presenter: Theresa Swift
- 10:00-10:15 PIP-0102: Dictionaries in Prolog. Presenter: José Francisco Morales
- 10:15-10:30 Proposal: Binary prefix operators. Presenter: François Fages
10:30-11:00 :: Coffee break
11:00-12:30 :: Session 2
- 11:00-11:15 Proposal: Float Enhancements. Presenter: Joachim Schimpf
- 11:15-11:30 Proposal: CSV interface. Presenter: Daniel Jurjo
- 11:30-11:45 XVM™ and the Data Oriented Processing paradigm. Presenter: Arun Majumdar
11:45-12:25 Discussion. Chair: David S. Warren
12:25-12:30 Wrapup and plans. Chairs: Theresa Swift, Carl Andersen
12:30-13:30 :: Lunch

What is a PIP

A PIP (Prolog Improvement Proposal) is a document describing the design and implementation of one Prolog language feature. Examples of PIPs can be found in the program above. PIPs inform the Prolog community about existing approaches and also provide implementers a reference for potential language standardization. It is acceptable to have multiple PIPs describing alternative approaches to any given language feature, although it is hoped that PIPs will promote informal consensus over time. To this end, to be accepted, PIPs must be supported by at least two Prolog systems. This descriptive approach to standardization complements the existing prescriptive ISO framework and may serve as input to ISO deliberations. More information about the PIP framework and some initial PIPs is available here.

The workshop

The workshop will offer Prolog implementers and users a chance to understand and comment on the process of PIP creation so that they can adapt it to their own interests. We hope that a result of this workshop will be a wider use of the new Prolog Implementers Forum so that new PIPs are proposed, developed, reviewed, and adopted by the Prolog community at large.

In order to include as many implementers and interested users as possible the workshop will be conducted in hybrid format.

Organizing Committee:

Carl Andersen, RTX BBN Technologies
Manuel Hermenegildo, U. Politécnica de Madrid and IMDEA Software Institute
José F. Morales, U. Politécnica de Madrid and IMDEA Software Institute
Theresa Swift, Johns Hopkins Applied Physics Lab
David Warren, Stony Brook University
Jan Wielemaker, Vrije Universiteit Amsterdam

Program Committee:

Salvador Abreu, NOVA LINCS/University of Évora, Evora, Portugal
Carl Andersen, RTX BBN Technologies, US
Mats Carlson, RISE, Sweden
Manuel Hermenegildo, U. Politécnica de Madrid and IMDEA Software Institute, Spain
Fred Mesnard, CS, Université de la Réunion, France
José F. Morales, U. Politécnica de Madrid and IMDEA Software Institute, Spain
Joachim Schimpf, Coninfer Ltd, UK
Theresa Swift, Johns Hopkins Applied Physics Lab, US
Paul Tarau, University of North Texas, US
David Warren, Stony Brook University, US
Jan Wielemaker, Vrije Universiteit Amsterdam, NL
Neng-Fa Zhou, Brooklyn College, City University of New York, US