You mean it’s all horn clauses? (Discussion)

dtonhofer July 25, 2020, 6:35pm 1

That made me laugh. But when will we upgrade to Harrop Formulas. It’s been … nearly 50 years.

1 Like

You mean it's all horn clauses?

Topic	Replies	Views
You mean it's all horn clauses? Announce	535	July 25, 2020
PrologHub.pl First Month Update (Discussion) Discussion	264	August 19, 2019
In due time goal_expansion/2 will be replaced by providing inline predicates Request For Comments	449	December 18, 2020
Searching for a fun quote Help!	347	September 6, 2022
[CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg Call for papers	190	December 20, 2023