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
PrologHub.pl First Month Update (Discussion) Discussion	0	221	August 19, 2019
In due time goal_expansion/2 will be replaced by providing inline predicates Request For Comments	0	417	December 18, 2020
Htmx and end-to-end declarative web programming Stream - Reply 1 General	2	206	March 25, 2024
Searching for a fun quote Help!	0	308	September 6, 2022
[CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg Call for papers	0	139	December 20, 2023