Decision diagram for the SWI-Prolog "pseudo-types"

Help!
36

Not shorter in the sense of power though, as both sets are infinite.

I wouldn’t have rationals. They’re messy. Just the term denominator is messy. It can only really be used if it is greater than zero, the numerator is nonzero, and numerator and denominator are relatively prime. There’s too much scope for sinn und bedautung conflation.

Mathematics texts don’t allow it (well mine doesn’t) so why should a programming language?

40

I updated the original image with the information provided by Jan. Plus additional info from other people’s comments.

Here it is, graphml, svg, png:

2 Likes
41

Awesome work, thanks for sharing… yet, I’m curious where attributed variables will fit :slight_smile:

1 Like