Users

This forum is an archive for the mailing list Users-prolog@gnu.org (more options) Messages posted here will be sent to this mailing list.
1234 ... 17
Topics (582)
Replies Last Post Views
CADE-28 Call for Papers, Workshops, Tutorials, and Competitions by Geoff Sutcliffe
0
by Geoff Sutcliffe
CILC 2020 - Call For Papers - Deadline for Abstract Submission Extended by cfp
0
by cfp
CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING by cfp
0
by cfp
CICM 2020 - Call for (free) Participation by Geoff Sutcliffe
0
by Geoff Sutcliffe
Porting to arm/aarch64 by Jasper Taylor
5
by Jasper Taylor
CILC 2020 - Second Call For Papers by cfp
0
by cfp
Logtalk 3.38.0 released by Paulo Moura-2
0
by Paulo Moura-2
CASC-J10 - The CADE ATP System Competition by Geoff Sutcliffe
0
by Geoff Sutcliffe
Property-based testing by Paulo Moura-2
0
by Paulo Moura-2
Logtalk 3.37.0 released by Paulo Moura-2
0
by Paulo Moura-2
Alonzo Church Award - Call for Nominations by Geoff Sutcliffe
0
by Geoff Sutcliffe
PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning by Geoff Sutcliffe
0
by Geoff Sutcliffe
Satisfiability Checking and Symbolic Computation - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
IWIL-14 at LPAR-23 - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
UNIF 2020 - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
LPAR-23 - Call for Workshops and Tutorials by Geoff Sutcliffe
0
by Geoff Sutcliffe
CICM 2020 - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
LPAR-23 - Extended deadlines by Geoff Sutcliffe
0
by Geoff Sutcliffe
is there a Raspberry PI port by paul
1
by emacstheviking
2020 Alonzo Church Award - Call for Nominations by Geoff Sutcliffe
0
by Geoff Sutcliffe
Logtalk 3.34.0 released by Paulo Moura-2
0
by Paulo Moura-2
LPAR-23 Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
IJCAR 2020 - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
Logtalk 3.33.0 released by Paulo Moura-2
0
by Paulo Moura-2
Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
International Symposium on Artificial Intelligence and Mathematics 2020 by Geoff Sutcliffe
0
by Geoff Sutcliffe
GCAI 2020 Conference and Doctoral Symposium - Calls for Papers and Participation by Geoff Sutcliffe
0
by Geoff Sutcliffe
Logtalk 3.32.0 released by Paulo Moura-2
0
by Paulo Moura-2
GitHub Actions and Workflows for Logtalk and Prolog repos by Paulo Moura-2
0
by Paulo Moura-2
Fyi: this list, users-prolog, just had it's subject [tag] and footer removed by sysadmin
0
by sysadmin
Artificial Intelligence and Theorem Proving 2020 - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
Logtalk 3.31.0 released by Paulo Moura-2
0
by Paulo Moura-2
IJCAR 2020 - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
TPTP v7.3.0 released by Geoff Sutcliffe
0
by Geoff Sutcliffe
GCAI 2020, Hangzhou, China - Call for Papers by Geoff Sutcliffe
0
by Geoff Sutcliffe
1234 ... 17