symbolo and numbero are run-time type constraints. (symbolo x) ensures that 'x' is a symbol. (numbero x) ensures 'x' is a number.
(fresh (x) (symbolo x) (== x 5)) fails, while (fresh (x) (symbolo x) (== x 'foo)) succeeds. symbolo and numbero allow us to represent symbols and numbers without having to use tagged lists such as '(sym foo) or '(num 5), or `(sym ,x) or `(num ,x) when using uninstantiated logic variables. This is especially useful when writing interpreters, type inferencers, and parsers in miniKanren, in which we don't want to have to tag the terms. > How can I implement =/=? There are multiple ways to implement =/=. You might start by looking at this paper: https://arxiv.org/pdf/1701.00633.pdf Cheers, --Will On Thu, Mar 9, 2017 at 12:02 PM, Amirouche Boubekki <[email protected]> wrote: > I can't understand what the purpose can someone explain it to me? > > How can I implement =/=? > > > Tx! > > -- > You received this message because you are subscribed to the Google Groups > "minikanren" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
