Declarative logic programming theory, systems, and applications - Kifer, Michael; Liu, Yanhong Annie (New York Association for Computing Machinery, 2018)
Electronic reproduction.
Keywords: Programming languages (Electronic computers).; Computers; Electronic books