# Semantics of partition with "partial evaluation"

**URL:** <https://swi-prolog.discourse.group/t/semantics-of-partition-with-partial-evaluation/6920>\
**Category:** General\
**Created:** [October 25, 2023, 4:16pm UTC](https://swi-prolog.discourse.group/t/semantics-of-partition-with-partial-evaluation/6920 "2023-10-25T16:16:05Z")\
**Posts on this page:** 1\
**Page:** 2

<div class="post-metadata">

**Author:** ![kuniaki.mukai](https://avatars.discourse-cdn.com/v4/letter/k/c67d28/32.png) [@kuniaki.mukai](https://swi-prolog.discourse.group/u/kuniaki.mukai)\
**Post date:** [October 30, 2023, 10:03am UTC](https://swi-prolog.discourse.group/t/semantics-of-partition-with-partial-evaluation/6920/23 "2023-10-30T10:03:30Z")

</div>

> [@jan](#):
>
> I don’t know what you mean by “global”.

Me too. I might be abusing the term. I am saying in the sense of  
free variables or unbounded variables in the lambda calculus.

Your comment on double negations sound positive for me, who is too familiar with using “!” , and “!, fail”. “One should get familiar with using “!” to write a good prolog codes like a good barber is so with his shaving cutters” I was told like this by an influential scholar who introduced Prolog to Japan in earlier time.

[Previous page](https://swi-prolog.discourse.group/t/semantics-of-partition-with-partial-evaluation/6920.md?page=1)