Login / Signup

A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.

Tadao MurataDu Zhang
Published in: IEEE Trans. Software Eng. (1988)
Keyphrases
  • logic programs
  • logic programming
  • query language
  • high level
  • knowledge representation
  • expressive power
  • computational properties
  • normal logic programs