Faculdade

Eventos

Introducing Prolog Studio for XSB by Miguel Calejo (CENTRIA) - 14h

 

ABSTRACT

The InterProlog Java bridge has been around since 1998, powering a number of projects. Since 2013 some of these converged into a new tool, a light and self-contained IDE for logic programming, with two versions: proprietary (Ergo Studio, by Coherent Knowledge Systems) and more recently an open source variant (Prolog Studio, by InterProlog Consulting); this is targeted at developers writing substantial code fragments in Prolog or related languages, possibly in conjunction with a Java layer. It is downloadable from http://interprolog.com .

 

Prolog Studio is an atypical IDE in that it is not yet another Eclipse plug-in... AND it uses Prolog itself for meta data representation and a number of IDE functions. It provides a Prolog-aware source editor, code browsing, a cute query panel, a declarative SDK for (desktop) UI, and lots of room for growth and academic collaboration.

Depending on the audience, the talk and its Q&A may uncover the Studio's hood, discuss ways to support other Prologs or logic languages, additional IDE functions, etc.

 

SHORT-BIO

Miguel, 53, is an electrical engineer (University of Porto 1984) and PhD in Computer Science/AI (New University of Lisbon 1992). IBM Portugal Prize 1990, Microsoft portugal/web 3rd prize 2000. Founded Servisoft (www.servisoft.pt, a distributor of computer products), Declarativa (www.declarativa.pt, consultancy and software development), BookMARC (software for libraries), Renting Point (www.rentingpoint.pt, portal for renting), Coherent Knowledge Systems (coherentknowldge.com). Has taught for 15 years at U.Portucalense and U.Minho.

Currently at InterProlog Consulting (interprolog.com). He is also a founding (associate) member of the AI Center at UNL (centria.di.fct.unl.pt/ ... now NOVA LINCS). Serving second 2-year term as President of the Portuguese AI Association. Member of the ISO/IEC JTC1/SC22/WG17 (Prolog standardization) group.