A new logic programming language.
programming-language prolog scripting-language temporal-logic logic-programming type-checking cosmos prototypes multi-paradigm-programming object-oriented-programming high-level optional-typing multi-paradigm constraint-logic-programming composite-types mode-inference llm functional-logic-programming vibe-coded clpr
-
Updated
Oct 7, 2026 - Prolog