Guarded horn clauses
From MaRDI portal
Publication:5044782
DOI10.1007/3-540-16479-0_17zbMath1497.68089OpenAlexW2163058466MaRDI QIDQ5044782
Publication date: 2 November 2022
Published in: Logic Programming '85 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-16479-0_17
Related Items
Role of logic programming in the FGCS project ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
Uses Software
Cites Work