just for fun
anniepoo
1
2 Likes
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| You mean it’s all horn clauses? (Discussion) | 0 | 283 | July 25, 2020 | |
| Does every clause in prolog correspond to exactly one Horn clause or not? | 7 | 107 | April 2, 2025 | |
| [CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg | 0 | 203 | December 20, 2023 | |
| Keep track of which clause is involved in a certain proof | 8 | 697 | November 6, 2019 | |
| Declaration header for portray/1, is this correct? | 2 | 446 | July 15, 2020 |