Understanding the “unify” Function in “newLisp”
Unification between two symbolic expressions involves finding substitutions for variables (if any) in the expressions such that the expressions match after
Rangarajan Krishnamoorthy on Programming and Other Topics
Perspectives on Software, Music, Homeopathy, etc.
- Acupuncture
- Agents
- Astrology
- Book Review
- C++
- D Language
- Electronics
- Elixir
- Flora-2
- Golang
- Homeopathy
- Hy Language
- iHomeoMate
- Image Processing
- Internet of Things (IoT)
- Julia
- Knowledge Representation
- LISP
- Machine Learning
- Mathematica
- Music
- Natural Language Processing
- newLisp
- OpenAI
- Programming
- Prolog
- Python
- Ring Language
- Rust
- TradingView
- Vlang
- Word Games
- Xojo
Rangarajan Krishnamoorthy on Programming and Other Topics
Perspectives on Software, Music, Homeopathy, etc.
