search

conjure-cp / conjure-oxide

Mozilla Public License 2.0
9 stars 16 forks source link

Factor --> Term #429

Closed ozgurakgun closed 1 week ago

ozgurakgun commented 2 weeks ago

I don't like obsessing over names this much, but the more I think about it the more Factor feels weird to me. It reminds me of an operand to multiply. I checked the dragon book again and this is how they are using it too.

Let's rename it to Term. Any objections, please shout.

niklasdewally commented 2 weeks ago

I prefer atom: terms in the lambda calculus, logic, etc. are defined recursively: e.g.\x -> x + 10 is a term.

The problem with atom is that in Prolog atoms and variables are different things, but I don't think that many Prolog users will see our internal data structures...

niklasdewally commented 2 weeks ago

However, in Scheme, anything that's not a list (i.e. not a compound term) is an atom, which matches our usecase.

ozgurakgun commented 2 weeks ago

I wouldn't veto Atom.