Inline subterm naming syntax (was: Syntax for unify-and-remember in head?)

EricGT · October 14, 2021, 8:25am

Was searching Prolog code repositories for examples of throw/1 and found this message

unification in guard not allowed

SWI-Prolog/packages-chr/blob/7887ce739109dfc63afb11779a2e5ead2ace4dde/chr_runtime.pl#L412-L414


      
          %- LOCK ERROR MESSAGE ----------------------------------------------------------
          lock_error(Term) :-
          	throw(error(instantation_error(Term),context(_,'CHR Runtime Error: unification in guard not allowed!'))).

Thought it might be of interest and possibly of use.

Topic		Replies	Views
Clause/2 General swish	5	381	April 27, 2023
Recently started woring with prolog and decided to make a text documenting my annoyances General	18	466	October 21, 2023
Subsumes_term/2 Predicate	5	684	July 28, 2020
Composite term not checked Help!	11	230	October 25, 2023
Reasonable way to combine a retractall and assert operation? Help!	6	1398	June 30, 2019

Inline subterm naming syntax (was: Syntax for unify-and-remember in head?)

Related Topics