Logic Programming

DOI10.1007/11562931zbMath1165.68346OpenAlexW2104948204MaRDI QIDQ5475808

Tom Schrijvers

Publication date: 27 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (5)

Proving Termination by Invariance Relations ⋮ A Compositional Semantics for CHR with Propagation Rules ⋮ CHR for Imperative Host Languages ⋮ Optimization of CHR Propagation Rules ⋮ Termination Analysis of CHR Revisited

Uses Software

• Stratego
• Haskell
• Oz
• LISP
• Mercury
• XSB
• CHR
• SWI-Prolog

This page was built for publication: Logic Programming