Login / Signup

Global Analysis of Constraint Logic Programs.

Maria J. García de la BandaManuel V. HermenegildoMaurice BruynoogheVeroniek DumortierGerda JanssensWim Simoens
Published in: ACM Trans. Program. Lang. Syst. (1996)
Keyphrases
  • logic programs
  • logic programming
  • answer set programming
  • fixpoint
  • partial deduction
  • answer sets
  • stable models
  • inductive logic programming
  • computational properties
  • functional programs