Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch.
Paul TarauPublished in: ICLP Technical Communications (2021)
Keyphrases
- lightweight
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- declarative semantics
- situation calculus
- logic programs
- answer set programming
- high level
- constraint solving
- knowledge representation
- wireless sensor networks
- development environments
- dos attacks
- communication infrastructure
- machine learning
- handheld devices
- nonmonotonic reasoning
- constraint satisfaction problems
- artificial intelligence