Greetings from Kumamoto, Japan! #2404
triska
started this conversation in
Show and tell
Replies: 1 comment
-
|
Enjoy your stay in Kumamoto, Markus! The pictures look gorgeous. I also hope that in the future more papers could be published about/using Scryer Prolog! |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Dear all,
today I presented our system description of Grants4Companies at the 17th International Symposium on Functional and Logic Programming (FLOPS 2024) in Kumamoto, Japan!
A draft of the conference proceedings is available online at http://www.cs.ox.ac.uk/jeremy.gibbons/flops2024.pdf. Please see the proceedings for more information. My colleague @blellmann did most of the work and wrote the entire Prolog-based reasoner, which is freely available from https://github.com/blellmann/g4c-reasoner. I presented our work at this conference to best accommodate our schedules and locations.
Scryer Prolog greatly helps us to reason about grants, and we are using it as a reference implementation to ensure syntactic ISO conformance of Prolog applications.
FLOPS is an ideal venue for publishing system descriptions. The conference takes place in Japan every two years, and I hope we will be able to publish more system descriptions involving Scryer Prolog in the coming years!
Thank you a lot, and enjoy!
Markus
Beta Was this translation helpful? Give feedback.
All reactions