A Base for Achieving Semantics for Prolog with Cut for Correct Observables.
Lingzhong ZhaoTianlong GuJunyan QianGuoyong CaiPublished in: Software Engineering Research and Practice (2006)
Keyphrases
- logic programming
- logic programming language
- semantically equivalent
- knowledge base
- logic programs
- expert systems
- prolog programs
- constraint logic programming
- data sets
- default reasoning
- formal semantics
- information retrieval
- lower bound
- knowledge representation
- database
- programming paradigms
- operational semantics
- conceptual graphs
- answer sets
- semantic information
- programming language