EricGT
1
5 Likes
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| How many of you realize that SWI-Prolog is an excellent, genuinely excellent language? | 4 | 1485 | December 4, 2021 | |
| FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online | 0 | 573 | December 20, 2021 | |
| Proceedings 39th International Conference on Logic Programming | 0 | 345 | August 30, 2023 | |
| Rclswi: a ROS2 client for SWI-Prolog - Feedback | 0 | 354 | April 20, 2021 | |
| Introducing “Praxis” (WIP) - visual programming in Prolog - Reply 2 | 1 | 381 | June 10, 2022 |