Declarative logic programming with primitive recursive relations on lists.
- Resource Type
- Proceedings Paper
- Source
Logic programming (Bonn, 1996) (19960101), 230-243.- Subject
- 68
Computer science -- 68NSoftware
68N17Logic programming - Language
- English