A VDM Approach to Continuation-based Semantics of Prolog.
Timothy K. ShihHuan-Chao KehYule-Chyun LinPublished in: Comput. Artif. Intell. (1999)
Keyphrases
- logic programming
- semantically equivalent
- logic programming language
- expert systems
- semantic information
- conceptual model
- constraint logic programming
- transformation rules
- answer set programming
- logic programs
- formal semantics
- programming language
- knowledge representation
- databases
- answer sets
- conceptual graphs
- operational semantics
- artificial intelligence
- data mining