+++
title = "Converting between the strict and lazy predicate evaluation"
date = "2023-05-01"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3m2"]
forwardlinks = []
zettelid = "3c3m3"
+++

When simply dealing with predicates that are evaluated given a function
from literals to values, then the flexible semantics of a predicate are
actually equivalent to the strict semantics of evaluation the predicate.
So in simple cases, there is essentially no difference between the two,
and one can be exchanged for the other.

However, as soon as the laziness is actually needed to be able to
evaluate the predicate, then it can be difficult ot convert between the
strict and lazy structures.