Sign in

A Typechecker for a Set-Based Constraint Logic Programming Language.

Maximiliano CristiáGianfranco Rossi
Published in: CoRR (2022)
Keyphrases
  • logic programming language
  • linear constraints
  • general purpose
  • database
  • artificial intelligence
  • constraint logic programming
  • databases
  • query language
  • probability distribution
  • feature set
  • logic programming