News for hackers. Stuff that matters.

A comment on Mangle, a programming language for deductive database programming. Parent comment

Re:Mangle, a programming language for deductive database pro... by maweki on Sunday November 27, 2022 @01:43AM (#33760957)
In logic programming monotonic means that adding a fact or rule does not remove an answer.

Like SQL has monotonic queries where adding entries to a relation never gives you fewer answers.

More formally: Database1 subset Database2 implies Query(Database1) subset Query(Database2) for all databases

Which is exactly the definition of monotonicity (x =< y implies f(x) =< f(y)) applied to sets and functions on sets.

[ Parent | on HN ]
Re:Mangle, a programming language for deductive database pro... by javajosh on Sunday November 27, 2022 @05:58PM (#33767909)
I guess that makes sense. I wonder though what other adjectives might apply to a "language core" other than "monotonic"? Why did you pick that one? Also are there any language are are monotonically decreasing? This is less useless than it sounds, since this is an elegant way to model decay, and decay is hard to model.
[ Parent | on HN ]