LogiMOO
From MaRDI portal
Software:14279
No author found.
Related Items (7)
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines ⋮ Unnamed Item ⋮ Rule-based natural-language interface for virtual environments. ⋮ Unnamed Item ⋮ Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria ⋮ Object-oriented virtual environment for visualization of flexible multibody systems ⋮ Some challenges for constraint programming
This page was built for software: LogiMOO
