Ciao-users

ciao-users@cliplab.org

948 discussions

Call for Participation: ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs
by Gupta, Gopal 11 Sep '21

11 Sep '21

CALL FOR PARTICIPATION GDE'21: An ICLP'21 (Virtual) Workshop Goal-directed Execution of Answer Set Programs Sep 20th, 2021, 2PM-7PM CEST (7AM-12Noon US CDT) (for zoom meeting link, please visit the workshop page here<https://utdallas.edu/~gupta/gde21/>) Program (Times given are in CEST): * 14:00-14:10: Welcome Remarks & Introduction to the Workshop - Gopal Gupta, Joaquin Arias & Elmer Salazar * 14:10-14:45: The s(CASP) Goal-directed System for ASP: A Tutorial Introduction - Joaquin Arias (Universidad Rey Juan Carlos, Spain) * 14:45-15:15: Industrial Applications of Goal-directed ASP (invited) - Brendan Hall & Kevin Driscoll (Honeywell Advanced Technology) * 15:15-15:45: Goal-directed ASP for Legal Reasoning (invited) - Jason Morris (University of Alberta) * 15:45-16:15: Solving B Constraints with Goal-directed Answer Set Programming (invited) - Alexandros Efremidis (Heinrich Heine Universitat, Dusseldorf) * 16:15-16:45: The s(CASP) system in SWI-Prolog (invited) - Jan Wielemaker, SWI Prolog-Solutions and Vrije Universiteit Amsterdam * 16:45-17:05: Building Health Policy Enforcement Solution Based on HL7 FHIR - Alexey Koptsovich & Dmitrii Velikii (Eastbanc Technologies) * 17:05-17:25: Theory Revision with Goal-directed ASP - Elmer Salazar (The University of Texas at Dallas) * 17:25-17:45: Natural Language Question Answering with Goal-directed ASP - Kinjal Basu (The University of Texas at Dallas) * 17:45-18:05: AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning - Suraj Kothawade (The University of Texas at Dallas) * 18:05-18:25: Modeling and Verification of Timed Systems with the Event Calculus & s(CASP) - Sarat Varanasi (The University of Texas at Dallas) * 18:25-18:45: Graph-based Implementation of ASP - Fang Li (The University of Texas at Dallas) * 18:45-19:05: Formalizing Informal Logic and Natural Language Deductivism with s(CASP) - Gopal Gupta (The University of Texas at Dallas) * 19:05-19:10: Closing: - Gopal Gupta, Joaquin Arias, Elmer Salazar

1 0

Logtalk 3.50.0 released
by Paulo Moura 03 Sep '21

03 Sep '21

Hi, Logtalk 3.50.0 is now available for downloading at: https://logtalk.org/ This release focus on improved documentation, developer tools, and test suites. The Handbook includes improved sections on documenting and testing applications, directives, and multi-threaded features. The testing automation script have been updated with support for passing base URLs to generate reports that link to the tests source code. The documenting and diagrams include more versatile helper scripts with new options. A significant number of new tests have been added to the Prolog standards compliance suite for better coverage. This release also includes fixes and updates to libraries and examples plus portability updates for JIProlog, LVM, and SICStus Prolog. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship: https://github.com/LogtalkDotOrg/logtalk3 Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer

1 0

Call for Workshops - FLoC 2022
by victor.perez＠imdea.org 30 Jul '21

30 Jul '21

Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference July 31 - August 12, 2022 Haifa, Israel http://www.floc2022.org/ CALL FOR WORKSHOPS The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops. LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Frederic Blanqui Frederic.Blanqui(a)inria.fr FSCD (7th International Conference on Formal Structures for Computation and Deduction) http://fscd-conference.org/ Workshop chair: Nachum Dershowitz nachumd(a)tau.ac.il ITP (13th International Conference on Interactive Theorem Proving) https://itp-conference.github.io/ Workshop chair: Cyril Cohen cyril.cohen(a)inria.fr IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chairs: Simon Robillard simon.robillard(a)imt-atlantique.fr Sophie Tourret stourret(a)mpi-inf.mpg.de CSF (35th IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Musard Balliu musard(a)kth.se CAV (34th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: TBD KR (19th International Conference on Principles of Knowledge Representation and Reasoning) http://www.kr.org/ Workshop chair: Stefan Borgwardt stefan.borgwardt(a)tu-dresden.de ICLP (38th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Daniela Inclezan inclezd(a)miamioh.edu SAT (25th International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: Alexander Nadel alexander.nadel(a)intel.com CP (25th International Conference on Principles and Practice of Constraint Programming) http://a4cp.org/events/cp-conference-series Workshop chair: TBD SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2022. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged); - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.); - potential invited speakers (note that expenses of workshop invited speakers are not covered by FLoC); - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre or post FLoC); - virtual/hybrid backup plans (including platform preference). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Proposals should be submitted through EasyChair: https://easychair.org/conferences/?conf=floc2022workshops Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for further details and FAQ. IMPORTANT DATES Submission of workshop proposals deadline: September 27, 2021 (note extended deadline) Notification: November 1, 2021 Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022 (note corrected dates) Post-FLoC workshops: Thursday & Friday, August 11-12, 2022 CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: shaull(a)technion.ac.il GuillermoAlberto.Perez(a)uantwerpen.be FLoC 2022 WORKSHOP CHAIRS Shaull Almagor Guillermo A. Perez

1 0

ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs
by Gupta, Gopal 20 Jul '21

20 Jul '21

CALL FOR PAPERS!! CALL FOR PAPERS ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs https://utdallas.edu/~gupta/gde21 (Fully Virtual) located with ICLP'21: 37th International Conference on Logic Programming (Virtual) Date: September 20-27, 2021 Workshop Aim: Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present. List of topics includes: Non-grounding based implementations of ASP Constructive Negation Implementation Technology for Goal-directed ASP Applications of Goal-directed ASP Query-driven Constraint ASP System Description Tabling in goal-directed ASP Systems Coinductive Logic Programming and ASP Submission Instructions: Technical papers, position papers, as well as extended abstracts are welcome. Papers should be maximum 15 pages long and in LNCS Format. Email the paper in pdf format to the workshop organizers by the deadline date. Important Dates: Paper Submission: August 12, 2021 Decision Notification: August 22, 2021 Workshop Date: TBA (During one of ICLP'21 Conference days: Sep 20-27) Invited Speakers: TBA Organizers: Gopal Gupta, The University of Texas at Dallas, USA; Gopal.Gupta(a)utdallas.edu Joaquin Arias, Joaquin Arias, Universidad Rey Juan Carlos, Spain; Joaquin.Arias(a)urjc.es Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar(a)utdallas.edu

1 0

Logtalk 3.48.0 released
by Paulo Moura 06 Jul '21

06 Jul '21

Hi, Logtalk 3.48.0 is now available for downloading at: https://logtalk.org/ This release provides out of the box support for running parallel Logtalk processes; updates support for Ciao Prolog, CxProlog, GNU Prolog, LVM, SWI-Prolog, and Trealla Prolog; adds new Handbook sections on running parallel processes and on different stages of the multi-pass compiler; improves several Handbook sections; improves documentation of the "lgtunit" tool; improves tests for the "cbor" and "random" libraries; updates the "logtalk_tester" script to print the run time in seconds for each test set; adds a new example contributed by Paul Brown on adding portable application GUIs using Tcl and Tk; improves tests for multiple examples; includes new and improve standards compliance tests; and improves support for the Sublime Text editor. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship: https://github.com/LogtalkDotOrg/logtalk3 Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer

1 0

Getting started
by Jean-Luc Delatre 12 Mar '21

12 Mar '21

Hello, I have been unable to find a READY MADE test suite for evaluating the Ciao system. Is there one somewhere? I have (successfully?) installed Ciao according the main README.md but it's HUGE BLOB with no obvious "entry point" (some kind of extended "Hello World") I could not find either any PDF documentatio which would mirror https://ciao-lang.org/documentation.html (willing to browse it offline) Could you point me to the proper sources? Thanks for your attention. Best regards, Jean-Luc Delatre --

2 1

Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security
by Ekaterina Komendantskaya 16 Feb '21

16 Feb '21

*... Apologies for multiple postings, please help to distribute to potential applicants in your research area* ASSISTANT PROFESSOR / ASSOCIATE PROFESSOR / PROFESSOR in COMPUTER SCIENCE HERIOT-WATT UNIVERSITY, EDINBURGH, SCOTLAND, UK SALARY (for ASSISTANT/ASSOCIATE PROFESSOR LEVEL): £59,135 -£41,526 per annum START DATE: FROM SEPTEMBER 2021 (NEGOTIABLE) CLOSING DATE FOR APPLICATIONS: 11 April 2021 Heriot-Watt University has established a reputation for world-class teaching and leading-edge, relevant research, which has made it one of the top UK universities for innovation, business and industry. To celebrate our 2021 bicentenary of pioneering research, we have set ourselves the target of recruiting one hundred outstanding research academics between 2018 and 2021. As part of this prestigious programme, the School of Mathematical and Computer Sciences (MACS) welcomes applications for the posts of Assistant / Associate Professor / Professor in Computer Science. We particularly welcome applicants with expertise in either: (i) Artificial Intelligence and Robotics (which includes pervasive and ubiquitous systems, planning, data science and semantic web, autonomous agents, human-robot interaction, human computer interaction and multimodal interaction); (ii) Security and Verification (including verification of system safety and security, cybersecurity, automated reasoning, theorem proving, programming languages and semantics, foundations of computer science). In addition, and as part of the School’s on-going plans to open new joint Mathematics-CS and Statistics-CS posts, we encourage applicants who have interdisciplinary training or experience linking one of the outlined CS priority areas and topics in Mathematics and Statistics (including, but not limited to, algebra and category theory, discrete mathematics and logic, financial risk, cyber risk, actuarial and statistical data science, statistical machine learning, Bayesian computational methods). The School strongly encourages and supports the generation of industry impact from research, and we welcome candidates with experience of working in industry on AI, data science, robotics, autonomous systems, verification or security projects or a strong track record of collaborating with industrial partners. Exceptional candidates possessing an extensive track record of internationally excellent research and leadership may be considered for appointment at Chair level; candidates interested in the position at Chair level should in the first instance contact the Head of School, Prof Beatrice Pelloni, b.pelloni(a)hw.ac.uk. The School of Mathematical and Computer Sciences is committed to support family friendly work practices and part-time working options as part of our Athena Swan Bronze award (see https://www.hw.ac.uk/schools/mathematical-computer-sciences/about/athena-sw…). We especially encourage women and members of underrepresented groups to apply for this position. We welcome and will consider flexible working patterns e.g. part-time working and job share options. ABOUT OUR TEAM: The Department of Computer Scienceis internationally renowned for its world-class research across a number of areas, including artificial intelligence and machine learning, data integration, knowledge representation, visualization and analytics, natural language processing, formal methods, logic, type theory, programming languages, parallel computation, human-computer and human-robot interaction, and cybersecurity. Jointly with University of Edinburgh, we host the center for doctoral training “Edinburgh Centre for Robotics” and the UK’s first National Robotarium, that together form a £129M joint venture, a center of excellence for AI research on an international scale, and a research and innovation hub with >150 staff and PhD students. In RCUK’s recent Grand Challenges Scheme: Trustworthy Autonomous Systems (TAS), our academics form core teams in 2 out of 7TAS nodes (each node is supported by a £3M research grant). The two nodes stand for“Trust” and “Governance” in Autonomous Systems. Our grant funding in this area has also grown through being awarded jointly with another school at HWU an EPSRC Industrial Strategy Challenge Strategy Fund for the Robotics Hub for Offshore Robotics for Certification of Assets (ORCA) worth £14.6M, which is one of the largest industrial strategy challenge funds awards in Scotland. The department has strong collaboration with Industry. Since 2014, we have undertaken 107 projects with industrial partners, through our doctoral training centers (40 industrial partners), the ORCA hub (30 industrial partners), and the TAS nodes. Among our collaborators are Amazon Research, BP, Chevron, FiveAI, Horiba Mira, Imandra, Kawasaki, Kuka Robotics, Lloyds, Schlumberger, and many others. For further information, please consult the university job portal (h ttps://www.hw.ac.uk/uk/about/work/job-opportunities.htm <https://www.hw.ac.uk/uk/about/work/job-opportunities.htm>). For informal discussions about the position or the department of Computer Science please contact Prof. Ekaterina Komendantskaya (Head of Computer Science) at ek19(a)hw.ac.uk Alternatively, you may like to approach one of the members of the recruitment committee: James McKinna (Logic, Semantics of Programming languages, Verification), Ron Petrick (AI planning, Symbolic AI), Sasa Radomirovic (Security)

1 0

Logtalk 3.44.0 released
by Paulo Moura 03 Feb '21

03 Feb '21

Hi, Logtalk 3.44.0 is now available for downloading at: https://logtalk.org/ This release features new and improved linter checks; adds a new Handbook nomenclature section on the differences between Logtalk and Prolog; adds new Handbook glossary entries; adds libraries for CSV files reading/writing, option handling, and term input/output from/to atoms, chars, and codes; improves existing libraries; provides fixes and improvements for several developer tools; adds a shell script for generating Allure reports from test results; adds support for exporting test result in the xUnit.net v2 XML format; improves exporting of results in the JUnit/xUnit format; includes new and improved programming examples; adds new examples to the ToyCHR port; adds tests sets for the de facto standard hyperbolic arithmetic functions; adds additional tests for several arithmetic functions; adds Windows installer experimental support for creating an integration shortcut for Tau Prolog; updates the macOS installer support for users of the zsh shell; removes support for Qu-Prolog and for the multi-threaded version of XSB; and includes portability updates for LVM, SICStus Prolog, SWI-Prolog, Tau Prolog, Trella ProLog, YAP. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship: https://github.com/LogtalkDotOrg/logtalk3 Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer

1 0

CFP HCVS 2021
by bishoksan kafle 19 Jan '21

19 Jan '21

(apologies for multiple copies) Call for Papers 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2021 <https://etaps.org/> 28 March 2021 - Virtual https://www.sci.unich.it/hcvs21/ Invited speakers: TBA. Please visit the webpage for updates. Submission deadlines: - Paper submission: Jan 28, 2021 - Paper notification: Feb 27, 2021 - Workshop: Mar 28, 2021 Many Program Verification and Synthesis problems of interest can be modelled directly using Horn clauses and many recent advances in the CLP and CAV communities have centred around efficiently solving problems presented as Horn clauses. This series of workshops aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives and HCVS is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows seven previous meetings: HCVS 2020 in Dublin, Ireland (ETAPS 2020), HCVS 2019 in Prague, Czech Republic (ETAPS 2019), HCVS 2018 in Oxford, UK (CAV, ICLP and IJCAR at FLoC 2018), HCVS 2017 in Gothenburg, Sweden (CADE), HCVS 2016 in Eindhoven, The Netherlands (ETAPS), HCVS 2015 in San Francisco, CA, USA (CAV), and HCVS 2014 in Vienna, Austria (VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: -Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent, transition systems, Petri-nets, smart contracts) -Program synthesis -Program testing -Program transformation -Constraint solving -Type systems -Machine learning and automated reasoning -CHC encoding of analysis and verification problems -Resource analysis -Case studies and tools -Challenging problems We solicit regular papers describing the theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results and posters that are of interest to the workshop. CHC Competition: HCVS 2021 will host the 4th competition on constraint Horn clauses ( CHC-COMP <https://chc-comp.github.io/>), which will compare state-of-the-art tools for CHC solving for performance and effectiveness on a set of publicly available benchmarks. A report on the 4th CHC-COMP will be part of the workshop's proceedings. The report also contains tool descriptions of the participating solvers. Program Committee: - Bishoksan Kafle <https://bishoksan.github.io/>, IMDEA Software Institute, Madrid, Spain (co-chair) - Hossein Hojjat <https://www.cs.rit.edu/~hh/>, Rochester Institute of Technology, NY, USA (co-chair) - Gopal Gupta <https://utdallas.edu/chairs/profiles/dr-gopal-gupta/>, University of Texas at Dallas, USA - John Gallagher <http://webhotel4.ruc.dk/~jpg/>, Roskilde University, Denmark - Philipp Ruemmer <https://katalog.uu.se/profile/?id=N11-35>, Uppsala University, Sweden - Andrey Rybalchenko <https://www.microsoft.com/en-us/research/people/rybal/>, Microsoft Research, Cambridge, UK - Pedro Lopez-Garcia <https://software.imdea.org/people/pedro.lopez/>, CSIC and IMDEA Software Institute, Madrid, Spain - Emanuele De Angelis <http://saks.iasi.cnr.it/emanuele/>, IASI-CNR, Italy - Fabio Fioravanti <https://www.sci.unich.it/~fioravan/>, University of Chieti-Pescara, Italy - Daniel Neider <https://www.mpi-sws.org/people/neider/>, Max Planck Institute for Software Systems, Germany - Arie Gurfinkel <https://arieg.bitbucket.io/>, University of Waterloo, Canada - Ranjit Jhala <https://ranjitjhala.github.io/>, University of California San Diego, USA - Martin Schäf <https://www.martinschaef.de/>, SRI International, USA - He Zhu <https://herowanzhu.github.io/>, Rutgers University, New Brunswick, USA - Steven Ramsay <http://www.bristol.ac.uk/engineering/people/steven-j-ramsay/index.html>, University of Bristol, UK - Grigory Fedyukovich <https://www.cs.fsu.edu/~grigory/>, Florida State University, USA - Gidon Ernst <https://www.sosy-lab.org/people/ernst/>, Ludwig Maximilian University of Munich, Germany - David Monniaux <http://www-verimag.imag.fr/~monniaux/>, CNRS, VERIMAG, France - Jorge A. Navas <https://jorgenavas.github.io/>, SRI International, USA The submission has to be done in one of the following formats: -Regular papers (up to 12 pages plus bibliography in EPTCS <http://www.eptcs.org/> (http://www.eptcs.org/) format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. -Tool papers (up to 4 pages in EPTCS format), including the papers written by the CHC-COMP participants, which can outline the theoretical framework, the architecture, the usage, and experiments of the tool. -Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. -Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. -Posters that are of interest to the workshop All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ (provided that enough regular papers are accepted). Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2021 -- The race is not always won by the fastest runner, but sometimes by those who just keep running.

1 0

Logtalk 3.43.0 released
by Paulo Moura 22 Dec '20

22 Dec '20

Hi, Logtalk 3.43.0 is now available for downloading at: https://logtalk.org/ This release focus once again on improved testing support and improved test suites for both Logtalk features and Prolog standards compliance of supported backends. It also provides compiler improvements and bug fixes, provides experimental support for Trealla ProLog; updates support for LVM and Tau Prolog; improves the top-level shortcut for loading files; includes a new "git" library; adds new predicates to the "queues" library; provides portability fixes for the "os" library; provides new predicates, improvements, and fixes for the "lgtunit" tool; provides fixes for the "debugger" and "lgtdoc" tools; improves the portability of the "bench" and "metainterpreters" examples; provides UltiSnips support for the Vim text editor, kindly contributed by Paul Brown; and includes other portability updates for most of the supported backends. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship: https://github.com/LogtalkDotOrg/logtalk3 Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer

1 0

← Newer
1
2
3
4
5
6
7
...
95
Older →

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users