Role of logic programming in the FGCS project
From MaRDI portal
Publication:5096224
DOI10.1007/3-540-54415-1_52zbMath1493.68067OpenAlexW1557487632MaRDI QIDQ5096224
Koichi Furukawa, Kazuhiro Fuchi
Publication date: 16 August 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-54415-1_52
Cites Work
- CAL: A theoretical background of constraint logic programming and its applications
- A self-applicable partial evaluator and its use in incremental compilation
- PARLOG: parallel programming in logic
- Guarded horn clauses
- A Machine-Oriented Logic Based on the Resolution Principle
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Role of logic programming in the FGCS project