Open AccessA New Operational Semantics For Prolog
Author(s) -
Kaninda Musumbu
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - prolog , programming language , computer science , operational semantics , semantics (computer science) , equivalence (formal languages) , well founded semantics , interpretation (philosophy) , consistency (knowledge bases) , abstract interpretation , resolution (logic) , logic programming , action semantics , key (lock) , theoretical computer science , denotational semantics , artificial intelligence , mathematics , discrete mathematics , computer security